HelenOS sources

root/kernel/arch/amd64/src/boot/

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