This is the Diosix hypervisor's platform-specific driver-level code for RISC-V systems. As such, it does not require the standard library.
Please email project lead Chris Williams if you have any questions or issues to raise, wish to get involved, have source to contribute, or have found a security flaw. You can, of course, submit pull requests or raise issues via GitHub, though please consider disclosing security-related matters privately. Please also observe the Diosix project's code of conduct if you wish to participate.
Copyright © Chris Williams, 2019-2020. See LICENSE for distribution and use of source code and binaries.