Re: Getting rid of serverboot

[Roland McGrath]

> > In gnumach's kern/bootstrap.c, rev 1.8:
> 
> I was still using the oskit code, rev 1.3.2.9, which apparently does not
> have this change.

Yeah, I've only been checking in to the gnumach mainline since it started
working and won't bother merging it back into the oskit-branch
until we're done diddling.