Skip to content

The TRENTOS Training

This one-week course introduces the fundamental aspects of TRENTOS, a novel seL4®-based secure embedded operating system developed by HENSOLDT Cyber.  The course is split in a lecture part, which covers the theoretical background including the basic aspects of seL4 and CAmkES, and a practical part that provides a basic case in order to teach participants how to create their very first TRENTOS application.

HENSOLDT Cyber’s TRENTOS training has received interim endorsement as seL4 training by the seL4 Foundation.

Training by Sebastian Eckl

Learn the professional and solid handling of seL4 from Sebastian Eckl. He worked as a research assistant at TUM before joining HENSOLDT Cyber where he focused on teaching L4 microkernel-based operating systems for several years. At the TUM Chair of Operating Systems, led by Prof. Baumgarten, he is currently working on his doctoral thesis dealing with migration-supported dynamic reconfiguration in distributed embedded real-time systems. Thereby he acquired a profound expertise in seL4 and TRENTOS.


TRENTOS is a seL4® based operating system. With the Trusted Entity Operating System (TRENTOS), HENSOLDT Cyber provides secure IT from the bottom up, by building upon the mathematically proved seL4 microkernel and its software ecosystem and trusted open-source components. With the TRENTOS SDK, HENSOLDT Cyber provides a complete development environment that equips a developer with all the tools required for building, testing and deploying TRENTOS-based systems to the real world. The SDK contains the actual operating system (OS) source code, consisting of seL4, CAmkES and TRENTOS, but also offers a collection of additional resources designed to make developer’s work easier by increasing efficiency and reducing complexity.

For more information about TRENTOS, visit our blog

Register Now

Simply register with your preferred start date


For further information download our brochures:

TRENTOS Training