A formally proven secure OS/TEE for ARM Cortex-A, certified for security at the highest level (Common Criteria EAL7), typically deployed to support security critical applications (FOTA, VPN, firewalls, etc.) and/or to protect existing non-secure OS.