TockOS: A Secure and Efficient Embedded Operating System
TockOS is an embedded operating system designed specifically for running multiple concurrent, mutually distrustful applications. It is optimized for embedded platforms based on Cortex-M and RISC-V. The core of its design is a protection mechanism that guards against potential malicious applications and isolates device drivers. TockOS employs two mechanisms to protect different components of the … Read more