HelenOS sources

root/kernel/arch/ia32/src/boot/

[..]
memmap.c multiboot.S multiboot2.S
[..]
HelenOS homepage, sources at GitHub