A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
Boot one or more Linux guest OSes and route their output, along with the hypervisor's messages, to the serial port. Allow the user to interact with the first guest via the serial port, too.
By default, Dosix will run a 64-bit RISC-V Linux guest that contains BusyBox, Micropython, zsh, and less. Log in with the username 'root'. No password required.
Boot Diosix on a quad-core 64-bit RISC-V Qemu-emulated system. The hypervisor parses a Device Tree Blob from the bootloader, uses this to initialize the hardware environment, and then enables scheduling, heap memory allocation, and interrupts, and finally starts a guest virtual machine in its own protected memory area. The guest's Linux kernel outputs its diagnostics and boot progress via the SBI API.
See the project's README for ways to run this container.