diosix
There are 7 repositories under diosix topic.
diodesign/diosix
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
diodesign/platform-riscv
Diosix platform-specific code for RISC-V systems
diodesign/byterider
Byte and word access to memory
diodesign/dmfs
Parser and generator for the Diosix Manifest File System, which contains assets to load from firmware during startup
diodesign/supervisor-riscv
Provide supervisor-level environment for Diosix system service applications
diodesign/gooey
Generic user interface for the Diosix hypervisor
diodesign/mkdmfs
Create a DMFS image from available executable files