Re: mach: bootstrap missing

[wiehepeter]

Thanks. Now I see that the boot file system is a server, not in the kernel