Operating Systems

Resources

• Verve "Verve is a research operating system developed by Microsoft Research. Verve is verified end-to-end for type safety and memory safety."
• Redox a secure O/S built using Rust
• Tizen Samsung's IoT O/S - new one coming?

help