Linux kernel source tree

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…

The seL4 microkernel

Porting Windows Dynamic Link Libraries to Linux

Modern, advanced, portable, multiprotocol bootloader and boot manager. (Official mirror of https://codeberg.org/Limine/Limine)

Simple C compiler

Turn off PatchGuard in real time for win7 (7600) ~ later

Universal PatchGuard and Driver Signature Enforcement Disable

Ghost, a micro-kernel based hobby operating system.

AquilaOS: UNIX-like Operating System

MollenOS/Vali is a modern operating system that is built with focus on abstraction and a modular design, allowing anyone to port it to any architecture. It currently targets the x86-32 and x86-64 p…

Pedigree operating system

A POSIX-compliant but modernized, graphical operating system for x86_64.

operating system