MSX legacy software

Uefi Rockchip Rk3399Pkg

OSF Mach and MkLinux conservation project

Windows driver for the DesignWare USB 2.0 HS OTG Controller as used in the Raspberry Pi 3.

Some scripts to build buildtools.

Windows 10 IoT Core UEFI boot source code for Allwinner platform

LK embedded kernel

xMach (Mach4+Lites) cloned from Sourceforge CVS

``Hello World'' for a Little-Endian OpenPower world (freestanding)

DPDK

AX88179_178a USB NIC Driver for ESXi 5.5/6.0

Simple MIPS32 Emulator (primarily used to run SmallerC compiled for MIPS)

Lemote PMON2000 boot loader.

"Das U-Boot" Source Tree

Light scaffolding for building kexec as a loadable kernel module

Template to compile Z80/Z180/EZ80 CPM programs with sdcc

UEFI, on Loongson.

Red Black Tree implemented with Relativistic Programming

Device Tree-based Platform Device Driver Development for Tiano UEFI

Arm SystemReady : BBR Compliance Suite

Experimental ARM based operating system for PandaBoard

The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.

My WIP bin, various interesting open-source work in progress

A Linux based Windows compatible user mode kernel

Syntacore first stage bootloader

Ben's qemu hacks

UEFI application for TCP network transport testing.

newlib port for UEFI

Simple Benchmarking for Virtualization