(unofficial) Hyper-V® Development Kit

A component-based OS

SGLIB - A Simple Generic Library for C (originally by Marian Vittek and not maintained by Stefan Tauner at all!)

Contents from SunOS 4.1.3 SUNSRC CD-ROM

Simple Driver code for vmlaunch

Android boot.img creation and extraction tools [NOTE: This project is NO LONGER maintained]

Various useful utilities for UEFI

OPAL boot and runtime firmware for POWER

Preloader for Linux on M1

Tegra 3 and Tegra 4 TrustZone UEFI variable services handler exploit and Secure Boot unlock tool

Pedigree operating system

Bootstraps ARM32/ARM64 ELF payloads on Qualcomm Windows platforms

A limit-removing source port of Doom, Heretic and Hexen. It has numerous vanilla bug fixes, enhanced 640x400 and 1280x800 rendering resolutions, improved game palettes and offers many optional aest…

Virtual ARchaeological Computer EMulator

Unix V6 operating system for Soviet personal computer BK-0010/0011M

Manipulate VHD (Virtual Hard Disk) images the open-source way.

The ESXi bootloader

A Linux based Windows compatible user mode kernel

Tiny Operating System to emulate GBA on Raspberry Pi

ARM Enterprise ACS

Exokernel to run ocaml baremetal on the Raspberry Pi

[No longer active] A fork of OpenSBI, with software-emulated hypervisor extension support

CloudFS is a prototype distributed VM storage system that allows VMs to run without using a SAN for storage

patched framebuffer VNC client for embeded system

An OldWorld PowerPC Linux bootloader for the 21st century

Few people use Forth. But this might be useful if you want to!

BK-0010/0011/Terak 8510a emulator