10BASE-T from Raspberry Pi Pico

A firmware-only half-duplex 10Base-T implementation for AVRs

RP2040 Minimal hardware (PIO) Ethernet interface + LwIP TCP/IP stack driver

Bit-banged 100 MBit/s Fast Ethernet transmitter and UDP framer for Raspberry Pi RP2040/RP2350

The Xous microkernel

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Pragmatic microkernel-based OS with fully asynchronous I/O

A kernel designed to run one and only one application in a virtualized environment

aVisor: A Tiny Hypervisor for Raspberry Pi

A disassembler for the RP2040 Programmable I/O State-machine!

Unofficial Rust SDK for the Pimoroni PicoSystem

Unofficial Rust SDK for the Pimoroni PicoSystem

A text editor in less than 1000 LOC with syntax highlight and search.

Facilities to access (ex)FAT and NTFS filesystems and disk images with Python 3

3-stage RV32IMACZb* processor with debug

OpenHCL Linux Kernel

Home of OpenVMM and OpenHCL

Planetary Positions in Octave format

virtio implementation

Demonstration of various hardware effects.

Simple (relatively) things allowing you to dig a bit deeper than usual.

A Verilog HDL model of the MOS 6502 CPU

Repository for the rp2040_pmod board from controlpaths devices.

DOOM-style 3D (raycasting) Game in Python Pygame

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

Open source ARM Cortex-M microcontroller library

A compact USB HID host FPGA core supporting keyboards, mice and gamepads.

Devicetree Specification document source files