@gatchers I did start porting an ATA driver, FAT driver, liballoc, and parts of various BSD libcs to a microkernel (L4Ka::Pistachio), though