2024-05-03 – Trustworthy Systems was represented at Everything Open this year, an annual conference focused on open technologies, including Linux, open source software, open hardware and open data, and the communities that surround them. Both Gernot and Peter presented talks on the work being done at TS.

Peter spoke about running your own mailserver and what that takes, using his own work as an example.

Gernot spoke about Lions OS, the complete seL4-based OS aimed to support the needs of developers of cyberphysical, IoT and other embedded systems.

Their talks generated plenty of fruitful discussion about the future of open technologies, including with researchers who are using seL4 in their work.

2024-03-27 – TS proudly announces the first release (0.1.0) of its new Lions Operating System. Lions OS is built from scratch on top of the seL4 microkernel and the seL4 Microkit.

Lions OS is aimed at embedded, IoT and cyberphysical systems and is designed to be formally verifiable, adaptable to a wide class of use cases in the target domain, while at the same time setting the benchmark for performance of microkernel-based operating systems. We expect to achieve all three aims by a highly modular yet ruthlessly performance-oriented design and strict adherence to the time-honoured KISS principle.

Lions OS is based on and intimately tied to the seL4 Device Driver Framework (sDDF), which we are also releasing for the first time, although development versions have been public for about 18 months. The sDDF is designed on the same principles as Lions OS and has already demonstrated networking performance exceeding that of the mainstream Linux OS.

2024-03-14 – Gernot Heiser has been formally inducted into the German Academy of Sciences Leopoldina in a ceremony in Halle. After being elected in 2023, Gernot travelled to Halle for the formal conferral ceremony in February. Election to Leopoldina membership is highly selective and testament to the groundbreaking nature of the work done by Trustworthy Systems.

Photo Credit: Markus Scholz for Leopoldina

2023-12-18 – US funding agency DARPA has just awarded their annual 10-year Game Changer Award for the most impactful program to the High Assurance Cyber-Military Systems (HACMS) program, as lead-CI Darren Cofer reports.
Led by Darren and Collins Aerospace, TS partnered with Galois, Boeing and the University of Minesota to deploy seL4 to protect autonomous air and ground vehicles from cyber attacks. The project formed the base from which TS is now aiming to make true OS security universal.

2023-12-12 – Premium electric-car maker NIO is co-funding TS's work on developing the Lions OS. NIO is a Premium Member of the seL4 Foundation and has recently announced that their seL4-based SkyOS will be on mass-produced cars next year.
We thank NIO for their strong support of the seL4 ecosystem!