tiniest x86-64-linux emulator

A pure C (-std=c89) implementation of Go channels, including blocking and non-blocking selects.

Library to program x86_64 hardware.

编译器入门课程的配套教学资料

NVIDIA Linux open GPU kernel module source

Code from various chapters in OSTEP (http://www.ostep.org)

An x86_64 OS kernel from scratch.

Source for the little book about OS development

Simple multiboot compliant kernel

Pragmatic microkernel-based OS with fully asynchronous I/O

The Twizzler Operating System

A secure embedded operating system for microcontrollers

Apache NuttX is a mature, real-time embedded operating system (RTOS)

A x86 32bit Hobby Operatingsystem with graphics, multitasking, networking and 32bit C-Compiler for i386 architecture.