Tock

Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on Cortex-M based embedded platforms. The kernel and device drivers are written in Rust.

Features

  • The kernel and device drivers are written in Rust.

Website: https://github.com/tock/tock

Source code: https://github.com/tock/tock

License: Apache License 2.0

Tock Platforms

  • ARM

Tock Components

  • None