ukoOS
ukoOS is a small post-Unix OS being developed by the UKO student group at the University of Minnesota. Currently, it only targets RISC-V devices.
Third-party documentation
For convenience, we host and link to a lot of documentation that is helpful for ukoOS developers here.
Documentation and Specifications
Milk-V Duo S
Milk-V Jupiter
Peripherals
RISC-V
- RISC-V ABI 1.0
- RISC-V Advanced Interrupt Architecture 1.0
- RISC-V IOMMU Architecture 1.0.1
- RISC-V PLIC Specification 1.0.0
- RISC-V Privileged Architecture 20250508
- RISC-V Supervisor Binary Interface Specification 3.0
- RISC-V Unprivileged Architecture 20250508
- RVA23 Profiles 1.0
Papers
- Daan Leijen, Benjamin Zorn, and Leonardo de Moura. 2019. Mimalloc: Free List Sharding in Action. Microsoft Technical Report MSR-TR-2019-18. Microsoft Research.