Project Mu - TianoCore Arm Packages

Project Mu Documentation

Mirror of OS X ABI Mach-O File Format Reference

Pragmatic microkernel-based OS with fully asynchronous I/O

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

The Xous microkernel

Quickly build and run kernels inside a virtualized snapshot of your live system

sched_ext schedulers and tools

A Devcontainer for VSCode dedicated for Linux kernel development and running inside a qemu instance and debugging from the ease of the VSCode debugger. Ideal for kernel newbies.

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles/illumos-gate

Pico Host Boot Loader

Tools for creating and using Helios images on i86pc (classic PC) physical and virtual machines

bootstrap illumos on AArch64

illumos Project Discussion

camio: a tcpdump for cam using lua and dtrace

A simple yet fast user space network driver for Intel 10 Gbit/s NICs written from scratch

oreboot is a fork of coreboot, with C removed, written in Rust.

Official AWS drivers repository for Elastic Network Adapter (ENA) and Elastic Fabric Adapter (EFA)

Safer wrappers over ktls-sys

A minimal OS implemented following "Operating system in 1000 lines of code"

A concurrency C library 10x faster than Golang.

🥑 A modern delightful operating system (mirror)

The Slick Debugger

Multikernel OS for manycore systems

Meta-Repository for Bespoke Silicon Group's Manycore Architecture (A.K.A HammerBlade)

NOVA is a log-structured file system designed for byte-addressable non-volatile memories, developed at the University of California, San Diego.

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more