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.