Operating systems
Last updated
Was this helpful?
Last updated
Was this helpful?
I love using as my personal OS.
- Library operating system that constructs unikernels.
- Well-designed usable and portable microkernel OS.
- Unix-like toy kernel.
- A programming framework for building type-safe, modular systems.
- Learning operating system development using Linux kernel and Raspberry Pi.
- Port of many Plan 9 libraries and programs to Unix.
- Simple operating system.
- Unikernel & MicroVM Compilation and Deployment Platform.
- Storage Performance Development Kit Provides a set of tools and libraries for writing high performance, scalable, user-mode storage applications.
- Hobby operating system, in Rust.
()