/home/martin/HelenOS/SPARTAN/arch/ia32/src/boot/memmap.S