TRENTOS by HENSOLDT Cyber is a secure operating system designed for IoT devices, cyber physical systems, and highly secure solutions. It serves as a secure substitute for Embedded Linux, offering an open architecture. TRENTOS is based on the seL4 microkernel, which provides end-to-end proof of implementation correctness and security enforcement. The system implements strict isolation of components, with communication restricted to explicitly enabled channels, ensuring clarity of information flows. TRENTOS includes mathematical proofs of implementation correctness of seL4 and critical components to guarantee system integrity under all operating conditions. It is available in two levels: TRENTOS-SDK and TRENTOS-G, which can be combined for enhanced security, flexibility, and feature availability. TRENTOS-G provides POSIX interfaces for easy integration and use while leveraging seL4 security principles. It allows for customizations and new solutions to be developed within the Linux environment. The system is versatile for hardening industrial systems due to its abundance of platform drivers.
