1. RISC-V proxy kernel and boot loader (2023). https://github.com/riscv-software-src/riscv-pk
2. Spike RISC-V ISA simulator (2023). https://github.com/riscv-software-src/riscv-isa-sim
3. Asanovic, K., et al.: The rocket chip generator. Technical report. UCB/EECS-2016-17, EECS Department, University of California, Berkeley (2016). http://www2.eecs.berkeley.edu/Pubs/TechRpts/2016/EECS-2016-17.html
4. Dautenhahn, N., Kasampalis, T., Dietz, W., Criswell, J., Adve, V.: Nested kernel: an operating system architecture for intra-kernel privilege separation. In: International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2015, pp. 191–206. Association for Computing Machinery, New York (2015). https://doi.org/10.1145/2694344.2694386
5. Ge, X., Vijayakumar, H., Jaeger, T.: SPROBES: enforcing kernel code integrity on the trustzone architecture. CoRR abs/1410.7747 (2014). http://arxiv.org/abs/1410.7747