Implementation of the Precision Time Protocol (PTP) in Rust

Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems

A Rust-based userland which also adds compile-time assurances to seL4 development.

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

a cargo extension for programming microcontrollers

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

Modular visual interface for GDB in Python

Using Type-Level Programming in Rust to Make Safer Hardware Abstractions

A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)

Whole program static stack analysis

A no_std graphics library for embedded applications

Tools and information for the Broadcom VideoCore IV (RaspberryPi)

Library for generating openscad code using rust

RPMsg implementation for small MCUs

Unified Diagnostics Service (UDS) and OBD-II (On Board Diagnostics for Vehicles) C Library

The seL4 microkernel

rusefi - GPL internal combustion engine control unit

PTPd official source - master branch a.k.a. trunk

A secure embedded operating system for microcontrollers