Very nice! I've been considering attempting to port an OS that I've been writing to an ARM device like the Pi, but I've never really looked into it much. With that said, I'm surprised the booting portion is so easy, I was under the impression that for the Raspberry Pi (And ARM devices in general) it was more complex. I suppose though, this is started after the bootloader that's normally on the SD card correct? I would imagine that makes things a fair bit simpler if that's the case, since the bootloader would take care of all the secret sauce.

Do you have plans to implement paging eventually?