load HelenOS/boot/kernel.bin
romload HelenOS/uspace/ns/ns 0x400000
romload HelenOS/uspace/init/init 0x800000