Stars
Language
Sort by: Recently starred
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)
A no_std graphics library for embedded applications
Tools and information for the Broadcom VideoCore IV (RaspberryPi)
Unified Diagnostics Service (UDS) and OBD-II (On Board Diagnostics for Vehicles) C Library
A secure embedded operating system for microcontrollers