TockOS

About

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.

Project description

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.

Must know

  • Basic assembly knowledge
  • Basic C programming knowledge

Good to know

  • Operating Systems programming
  • Rust

Documentation

TockOS

Partners

Bloomberg Wyliodrin Digilent

Organizers

ROSEdu Logo

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License.
Creative Commons License