Skip to content

TRENTOS SDK – Trusted Entity Operating System for ultra secure solutions

Our operating system offers you the unique opportunity of a time and cost saving understanding on how to use the seL4, CamkES and how to build your system based on TRENTOS. The time-to-market is optimized by the reduction of software complexity and through high usability. TRENTOS is revolutionary in cyber security. Based on the seL4 microkernel, it´s the only microkernel that offers end-to-end proof of correct implementation and security enforcement. HENSOLDT Cyber developed this highly secure operating system for embedded devices in the IoT sector.

Currently the TRENTOS-SDK provides the following operating system components:

Key Benefits of the TRENTOS SDK


TRENTOS Software Development Kit contains operating system components which you can use for your personal development of new applications based on sel4 and CAmkES.

  • seL4 and CAmkES Framework
  • CAmkES Software Components
    and Libraries
  • Storage Handling and Filesystem
  • Crypto, Keys and Certificate Handling
  • Network Stack
  • TLS
  • Configuration
  • Logging
  • Tools and scripts
  • Demos
  • Docker containers for build and test
  • Emulated target environment
  • Platform support

What is it all about?

The TRENTOS Software Development Kit:

  • Formal verification of the microkernel and critical components
  • Modular and isolated components
  • Based on Open Source technology
  • Attractive revenue sharing model
  • Open APIs
  • Free-of-charge use within the partner program
  • Connection of highly secure HENSOLDT Cyber components to                                                custom applications

Find the Secure Operating System that meets your needs.

Contact us for further information