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 SDK Package

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