Home

Welcome to the Diosix internal development wiki

Herein lies the work-in-progress internal documentation for Diosix. Instructions on how to build and run Diosix are documented in docs, whereas this wiki will be used for describing the code under the hood for developers. Get in touch if you've got any suggestions or bright ideas.

Code tree

Vital files include:

• .cargo/config Rust cargo rules for linking supported CPU targets, and running builds in tests
• boot/buildroot Buildroot configuration files for building Linux as a boot supervisor kernel for supported CPU targets
• docs Documentation on building and running Diosix
• src/contrib/hermit-dtb Fork of the Hermit device-tree parser
• hypervisor Platform-independent hypervisor code
• platform/riscv The RISC-V hardware-specific machine-level code used by the hypervisor
• .travis.yml Continuous-integration script for Travis to verify we're building A-OK
• build.rs Necessary glue to meld the hardware-specific assembly code, boot kernel environment, and hypervisor together