Modular and configurable OS for embedded applications

EDK II

Xvisor: eXtensible Versatile hypervISOR

Empowering everyone to build reliable and efficient software.

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

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

Ceph is a distributed object, block, and file storage platform

Open Watcom V2.0 - Source code repository, Wiki, Latest Binary build, Archived builds including all installers for download.

Linux kernel source tree

Emulator of x86-based machines.

Embeddable Linux Kernel Subset - Linux for 8086

A categorized list of C++ resources.

OpenCore bootloader

Darwin/macOS emulation layer for Linux

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.

Linux shell for iOS

Dynamic Instrumentation Tool Platform

Documentation for the RISC-V Supervisor Binary Interface

Community developed and maintained version of the OS/Net consolidation

A sandboxed execution environment for unikernels

DPDK

Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems

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

Read-only mirror of Trusted Firmware-A

lots of mini experiments in various languages

Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.

mal - Make a Lisp

A curated list of awesome C frameworks, libraries and software.

The C Code Archive Network

OPAL boot and runtime firmware for POWER