1. Genode—An exploration of Arm TrustZone technology. https://genode.org/documentation/articles/trustzone. Accessed 04 May 2021
2. GlobalPlatform. https://globalplatform.org/. Accessed 04 May 2021
3. GlobalPlatform device technology. TEE client API specification. https://globalplatform.org/specs-library/tee-client-api-specification/. Accessed 04 May 2021
4. Intel Trusted Execution Technology (Intel TXT) overview. https://www.intel.com/content/www/us/en/support/articles/000025873/technologies.html. Accessed 04 May 2021
5. Multizone security for RISC-V. https://hex-five.com/multizone-security-sdk/. Accessed 04 May 2021