TRENTOS SDK – HENSOLDT Cyber

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

TRENTOS SDK – Trusted Entity Operating System for ultra secure solutions

Key Benefits of the TRENTOS SDK

TRENTOS SDK Package

What is it all about?

Find the Secure Operating System that meets your needs.

Contact us for further information

Information

Contact