TRENTOS-M

Trusted Entity Operating System for ultra secure solutions – Military grade

For a maximum level of resilience TRENTOS-M was specifically developed to be used in conjunction with secure hardware (see MiG-V). Leveraging the formal verification of the seL4 microkernel to components of the operating system itself, TRENTOS-M is the pinnacle of trustworthiness. The radical enforcement of seL4 security features makes TRENTOS-M a military grade security solution. TRENTOS-M can be run on the HENSOLDT Cyber MiG-V processor as well as any other RISC-V platform and within the ARM TrustZone. Currently TRENTOS-M provides the following operating system services:

  • Secure Boot
  • Partition Manager
  • Ethernet Driver
  • IP Stack
  • TLS Module
  • Crypto Module
  • Key Store
  • Timer Driver
  • Configuration Server
  • Log Server
  • License Manager
  • Certificate Parser
  • remote interface
  • Certificate Parser
  • Secure Update

Find the Secure Operating System that meets your needs.

Contact us to receive a demo