Stars
10
stars
written in Rust
Clear filter
A secure embedded operating system for microcontrollers
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
A no_std graphics library for embedded applications
Implementation of the Precision Time Protocol (PTP) in Rust
a cargo extension for programming microcontrollers
A Rust-based userland which also adds compile-time assurances to seL4 development.
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions