carbon 64-bit monolithic nt-style kernel, supports ide/ahci disks, can read/write fat32 file systems & has a win32 kernel debugger working through a serial pipe.
