>
> A possible alternative would be to use some of the code from oskit.
> The only downside is last time I looked it didn't looked like it
> wasn't noticeably smaller than just using a minimal linux kernel...
>
Jay Lepreau and I have been having some discussions about this very
topic. Essentially, OSkit will be about the same size as minimalized
kernel.
> What do you see as the gain of using GRUB versus a small
> user space program, on top of a minimal kernel?
>
None, and your suggestion is exactly the way we're moving.
Bill