TRENTOS Evaluation Kit

800,00

Trusted Entity Operating System

TRENTOS is a revolution in cyber security. On the basis of the seL4 microkernel, the only microkernel that offers end-to-end proof of implementation correctness and security enforcement, HENSOLDT Cyber developed a highly secure operating system for embedded devices in the IoT sector. One of the main security principles of seL4 is the strict isolation of system components which can only interoperate if specifically configured to do so – the administrator retains full control and transparency over the IoT system. Another core feature is the formal verification of critical components, a mathematical integrity and correctness proof of every single line of code. If you are looking to secure your IoT network at the core, TRENTOS is your operating system of choice.

 

Trusted Entity Operating System

TRENTOS is a revolution in cyber security. On the basis of the seL4 microkernel, the only microkernel that offers end-to-end proof of implementation correctness and security enforcement, HENSOLDT Cyber developed a highly secure operating system for embedded devices in the IoT sector. One of the main security principles of seL4 is the strict isolation of system components which can only interoperate if specifically configured to do so – the administrator retains full control and transparency over the IoT system. Another core feature is the formal verification of critical components, a mathematical integrity and correctness proof of every single line of code. If you are looking to secure your IoT network at the core, TRENTOS is your operating system of choice.

TRENTOS is available in two flavors:

  • TRENTOS-G: Serving as a secure substitute for Embedded Linux, TRENTOS-G offers an open architecture (e.g. POSIX interfaces) for easy integration and use while at the same time benefitting from seL4 security principles. Customizations and the development of new solutions can be undertaken within the familiar Linux environment and the abundance of relevant platform drivers makes TRENTOS-G a versatile tool for hardening industrial systems.

 

  • TRENTOS-M: For a maximum level of resilience TRENTOS-M was specifically developed to be used in conjunction with secure hardware (see MiG-V). Leveraging the formal verification of the seL4 microkernel to components of the operating system itself, TRENTOS-M is the pinnacle of trustworthiness. The radical enforcement of seL4 security features makes TRENTOS-M a military grade security solution. TRENTOS-M can be run on the HENSOLDT Cyber MiG-V processor as well as any other RISC-V platform and within the ARM TrustZone. Currently TRENTOS-M provides the following operating system services:
    • Secure Boot
    • Partition Manager
    • Ethernet Driver
    • TLS Module
    • Crypto Server
    • Timer Driver
    • File System
    • IP Stack
    • ChanMUX
    • Configuration Server
    • Log Server
    • Key Store
    • License Manager
    • Certificate Parser
    • Remote Interface
    • Secure Update

 

In order to achieve the highest possible level of security coupled with a maximum of flexibility and availability of features, both flavors of TRENTOS can be combined into an ultra-secure solution. Furthermore HENSOLDT Cyber will support you in the development of dedicated applications and interfaces. If you require additional information, please do not hesitate to Contact

Probe

Probe

Probe2

Probe2