Skip to content

TRENTOS – Trusted Entity operating System

TRENTOS is a revolution in cyber security based on the seL4 microkernel, the only microkernel that offers end-to-end proof of implementation correctness and security enforcement. HENSOLDT Cyber developed a highly secure operating system for IoT devices and cyber physical systems. seL4 provides strict isolation of components, with communication restricted to explicitly enabled channels, ensuring clarity of information flows. Mathematical proofs of implementation correctness of seL4 as well as critical components guarantee system integrity under all operating conditions. TRENTOS is your operating system of choice for protecting your IoT network.

TRENTOS is available in two levels: TRENTOS-SDK and TRENTOS-G

In order to achieve the highest possible level of security coupled with a maximum of flexibility and availability of features, both flavors of TRENTOS can be combined into an ultra-secure solution. Furthermore, HENSOLDT Cyber will support you in the development of dedicated applications and interfaces.

For further information download our TRENTOS brochures:


TRENTOS Training

Find the Secure Operating System that meets your needs.

Contact Us To Receive A Demo