Trending

Bare metal printf – C standard library without OS

Verus: Verified Rust for low-level systems code

Coding Neon Kernels for the Cortex-A53

Dirty tricks 6502 programmers use

Fun with -fsanitize=undefined and Picolibc

Show HN: Torque – A lightweight meta-assembler for any processor

Post-Silicon Validation of Static Lockstep Mode

SSD1306 display drivers and font rendering

A port of Mbed-TLS for the Classic Macintosh OS 7/8/9

I uncovered an ACPI bug in my Dell Inspiron 5567. It was plaguing me for 8 years.

Slovak security company ESET discovered a crypto ransomware that compromises PC firmware UEFI and bypasses Secure Boot

How Your Code Really Controls Hardware

BloodHorn Bootloader.. one of my hardest projects . loongarch was hard . not well documented in English and its new . I've gone through this challenge but i realized that i need third party libs. decided to use edk2 for the development features it provides , opinions accepted :)

Garmin's latest software update fixes ghost touches on new Forerunner models – but adds more bugs

Machine Code Isn't Scary

New 0.7.0 Release of Ironclad - A formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.

Blinksy: a Rust no-std, no-alloc LED control library for 1D, 2D, and soon 3D spatial layouts 🟥🟩🟦

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware

LeRobot

Save item

smolvla_base

Task: robotics

FreeRTOS

Save item

FreeRTOS-Kernel

FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

MarlinFirmware

Save item

Marlin

Marlin is an optimized firmware for RepRap 3D printers based on the Arduino platform. Many commercial 3D printers come with Marlin installed. Check with your vendor if you need source code for your specific machine.

justcallmekoko

Save item

ESP32Marauder

A suite of WiFi/Bluetooth offensive and defensive tools for the ESP32

DarkFlippers

Save item

unleashed-firmware

Flipper Zero Unleashed Firmware

FreeRTOS

Save item

FreeRTOS

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.