Theseus: An Experiment in Operating System Structure and State Management

Source code at https://github.com/theseus-os/Theseus