Show HN: SpecOS – A 64 bit OS kernel from scratch (github.com)

I've been working on this for ~3 months now, with pretty slow progress to be honest. So far I've got an ATA PIO mode hard disk driver, a FAT32 file system, a real time clock driver, and of course the essentials (interrupts, keyboard, pixel graphics). Kernel panics also cause a blue screen of death xD. It uses a bitmap physical memory allocator, and I'm fixing some issues with paging at the moment as a work towards running userspace applications. I'd be interested to see your thoughts on it :D