Camelot OS

To complete the Sentry-kernel entrypoint noRTE coverage (https://lnkd.in/evZeGVmG), a lot of work has been made in order to cover other kernel interfaces, starting with handlers and the bigger of all: the syscall gate. This work has been done again with Frama-C framework, by crafting an…

During the last months, a lot of work has been done in the Sentry kernel in order to validate the absence of run time error, including all undefined behaviors, but also usual RTEs such as invalid memory access, out-of-bounds and integer algorithmic errors not being…

A New Open-Source Operating System for Secure IoT The Internet of Things (IoT) continues to transform everyday life — from connected wearables to industrial controllers — but this rapid growth also brings new security challenges. Embedded devices often run lightweight operating systems that prioritize performance…