Robigalia

A single user, single machine, persistent, object capability secure desktop operating system.

Future work

• Verification
• Multiuser
• Distributed object capabilities

Roadmap

• Document design notes from chat and issues
• Make key design decisions
• Write informal functional specification
• Identify developer and end-user use cases and show a feasible design for each to identify missing specifications
• Write formal functional specification
• Iterate design to simplify formal functional specification
• Identify system invariants in formal functional specification
• Write technical specification
• Implement tools needed to develop, test, and bring up system
  • Build system
  • IDL
  • Deterministic system simulator suitable for debugging, programmatic testing, and scalable fuzzing
• Implement system
  • Virtio Drivers
    • Display/GPU
    • Keyboard
    • Mouse
    • Storage
    • Network
    • Sound
    • Balloon
  • Graphics framework on top of Display/GPU driver suitable for building a GUI
  • Base and system management shell
  • System applications
  • Linux compatibility
  • Additional drivers
• Software package system
  • Linux software
  • Native software