Linux kernel source tree

Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

Linux shell for iOS

OpenCore bootloader

Share your terminal over the web

This repo contains driver samples prepared for use with Microsoft Visual Studio and the Windows Driver Kit (WDK). It contains both Universal Windows Driver and desktop-only driver samples.

Ultra-lightweight JavaScript engine for the Internet of Things.

A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network…

xhyve, a lightweight OS X virtualization solution

EDK II

Simple Dynamic Strings library for C

Porting Windows Dynamic Link Libraries to Linux

OSv, a new operating system for the cloud.

Emulator of x86-based machines.

Foreign LINUX - Run unmodified Linux applications inside Windows.

Go-style concurrency in C

16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows

A Tiny Linux-Compatible Kernel

Dynamic Instrumentation Tool Platform

Minoca operating system

An OpenGL RTS game engine written in C

Darwin is the Open Source core of macOS, and PureDarwin is a community project to extend Darwin into a complete, usable operating system.

Read-only mirror of Trusted Firmware-A

Structured concurrency in C

SimpleVisor is a simple, portable, Intel VT-x hypervisor with two specific goals: using the least amount of assembly code (10 lines), and having the smallest amount of VMX-related code to support d…

Embeddable Linux Kernel Subset - Linux for 8086

Modular and configurable OS for embedded applications

Open-source implementation of the K programming language

WDF makes it easy to write high-quality Windows drivers