tock
Microcontroller OS
An operating system designed to provide secure and isolated execution environments for multiple applications on microcontrollers.
A secure embedded operating system for microcontrollers
6k stars
120 watching
703 forks
Language: Rust
last commit: over 1 year ago
Linked from 3 awesome lists
armcortex-membeddediotkernelmcumicrocontrolleroperating-systemrisc-vrustsecure-operating-systemtock
rust-unofficial/awesome-rust
nhivp/awesome-embedded
carlosperate/awesome-microbitRelated projects:
| Repository | Description | Stars |
|---|---|---|
 toktok/c-toxcore | A peer-to-peer messaging platform with end-to-end encryption and secure communication | 2,305 |
 rust-embedded/rust-raspberrypi-os-tutorials | A tutorial series for developing operating systems from scratch using Rust on ARMv8-A architecture | 13,798 |
 tokio-rs/tokio | A runtime for writing reliable asynchronous applications with Rust. | 27,366 |
 vvaltchev/tilck | A monolithic kernel designed to be Linux-compatible at binary level, serving as an educational platform for exploring kernel development and embedded systems. | 2,387 |
 slowtec/tokio-modbus | A Rust-based library for communicating with industrial automation devices over TCP or RTU protocols. | 420 |
 google/opensk | An open-source implementation of FIDO2 security keys in Rust | 3,036 |
 ufrisk/pcileech | Software for exploiting vulnerabilities in computer systems to gain access to sensitive data and control system operations. | 5,138 |
 awslabs/aws-sdk-rust | AWS SDK for Rust programming language | 3,046 |
| rust-embedded/cortex-m | Provides low-level interfaces to interact with Cortex-M microcontrollers using Rust | 842 |
 briansmith/ring | A small, fast, and secure cryptographic library implemented in assembly language | 3,787 |
 rust-embedded-community/usb-device | A framework for building USB devices in Rust. | 451 |
 knurling-rs/flip-link | Protects embedded programs from stack overflows by flipping the memory layout to prevent collisions with static variables. | 289 |
| rust-embedded/book | Documentation on using Rust to develop firmware for microcontrollers. | 1,128 |
 wookey-project/ewok-kernel | A secure microkernel designed to efficiently harden embedded devices with strong security and performance features. | 73 |
 rustdesk/rustdesk | An open-source remote desktop application written in Rust. | 77,703 |