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

Arduino and PlatformIO IDE compatible TFT library optimised for the Raspberry Pi Pico (RP2040), STM32, ESP8266 and ESP32 that supports different driver chips

A Rust crate for creating memory dumps of running processes on Linux

Single/Multi-channel Full Speed USB interface for FPGA and ASIC designs

Bringup-Bench is a collection of standalone minimal library and system dependence benchmarks useful for bringing up newly designed CPUs, accelerators, compilers and operating systems. You probably …