Modular visual interface for GDB in Python

A secure embedded operating system for microcontrollers

The seL4 microkernel

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

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

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

A no_std graphics library for embedded applications

rusefi - GPL internal combustion engine control unit

Tools and information for the Broadcom VideoCore IV (RaspberryPi)

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

Whole program static stack analysis

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

RPMsg implementation for small MCUs

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

Library for generating openscad code using rust