Trending

Get PC BIOS back on UEFI only system

WavePhoenix – open-source implementation of the Nintendo WaveBird protocol

Compiling OCaml to the TI-84 CE Calculator

Effort and Challenges in Building Embedded Audio DSP Software Across Platforms

Firewalls and BIOS's and Coreboot (2020)

Moving Forth: a series on writing Forth kernels

Solved: What Is Microcode and Why You Need to Be Aware of It

Spade Hardware Description Language

In-Memory Ferroelectric Differentiator

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

Which frameworks for HIL workflows?

Dirty tricks 6502 programmers use

Low level programming as in actually doing it in binary lol

LeRobot

Save item

smolvla_base

Task: robotics

DarkFlippers

Save item

unleashed-firmware

Flipper Zero Unleashed Firmware

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.

FreeRTOS

Save item

FreeRTOS-Kernel

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

justcallmekoko

Save item

ESP32Marauder

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

FreeRTOS

Save item

FreeRTOS

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