Other useful information should be available in Multiboot kernels, such
as GNU Mach and Fiasco <http://os.inf.tu-dresden.de/fiasco/
>. And,
it is worth mentioning the OSKit
<http://www.cs.utah.edu/projects/flux/oskit/
>, which provides a
library supporting the specification.