FOLLOW US ON:
HEADQUARTER POSTAL ADDRESS:
OUR OFFICE IS LOCATED HERE:
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:
TRENTOS Software Development Kit contains operating system components which you can use for your personal development of new applications based on sel4 and CAmkES.
The TRENTOS Software Development Kit: