Operating systems > theseus-os/Theseus

A safe-language, single address space and single privilege level OS written from scratch - build badge