TockOS is an open source embedded operating system designed for running multiple concurrent, mutually distrustful application. Tock's design centers around protection, both from potentially malicious applications and from device drivers. The main mechanism that Tock uses to ensure security is that the kernel and drivers are written in Rust. Rust is a systems programming language that provides compile-time memory safety, type safety and strict aliasing. Tock uses Rust to protect the kernel (e.g. the scheduler and hardware abstraction layer) from platform specific device drivers as well as isolate device drivers from each other.
Port TockOS for NXP I.MX RT 1052 EVK.
TockOS is designed to run on a specific type of devices (https://www.tockos.org/hardware/). The purpose of this project is to enable the Tock operating system to run on the NXP I.MX RT 1052 EVK device.
The contribution to this project consists of developing various capsules (drivers) for peripheral control: I2C, SPI, network, etc. All the capsules will be written in Rust.
Good to know