defmt - Efficient, deferred formatting for logging on embedded systems.
Embedded Podcast/Blog - Site dedicated to the many aspects of engineering. We talk about the how, why, and what of engineering, usually devices.
Tesla Buildroot - Simple, efficient and easy-to-use tool to generate embedded Linux systems through cross-compilation.
coreboot - Aimed at replacing the proprietary BIOS (firmware) found in most computers. coreboot performs a little bit of hardware initialization and then executes additional boot logic, called a payload.
lilos - Wee RTOS written to support the async style of programming in Rust.
Brittle Kernel - Research microkernel, designed for embedded applications on ARM Cortex-M microcontrollers.