1. 2019. Ariane RISC-V CPU. https://github.com/pulp-platform/ariane. 2019. Ariane RISC-V CPU. https://github.com/pulp-platform/ariane.
2. 2022. seL4 Benchmark Performance. https://sel4.systems/About/Performance/home.pml 2022. seL4 Benchmark Performance. https://sel4.systems/About/Performance/home.pml
3. 2022. SQLite. https://www.sqlite.org/. https://www.sqlite.org/ 2022. SQLite. https://www.sqlite.org/. https://www.sqlite.org/
4. 2022. Vivado Design Suite. https://www.xilinx.com/products/design-tools/vivado.html. https://www.xilinx.com/products/design-tools/vivado.html 2022. Vivado Design Suite. https://www.xilinx.com/products/design-tools/vivado.html. https://www.xilinx.com/products/design-tools/vivado.html
5. Referenced Feb 2022. Arm Architecture Reference Manual for A-profile architecture. https://developer.arm.com/documentation/ddi0487/latest. Referenced Feb 2022. Arm Architecture Reference Manual for A-profile architecture. https://developer.arm.com/documentation/ddi0487/latest.