Operating Systems and Kernels

Web-based operating system designed to be feature-rich, exceptionally fast, and highly extensible.

一键DD/重装脚本 (One-click reinstall OS on VPS)

A Kernel based root solution for Android

Archlinux Kernel based on different schedulers and some other performance improvements.

Redpill Recovery (arpl-i18n)

The patching of Android kernel and Android system

Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases

Astrid is a portable, capability-secure operating system for composable software.

Bootloader for macOS, Windows and Linux in UEFI and in legacy mode

The Reliable USB Formatting Utility

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

Reference implementation of Anoma

An advanced Kernel based root solution for Android

A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.

Secure boot for 32-bit Microcontrollers!

Linux privilege escalation auditing tool

Bazzite makes gaming and everyday use smoother and simpler across desktop PCs, handhelds, tablets, and home theater PCs.

Command the forces of The Project in a battle to rebuild the world after mankind has been nearly destroyed by nuclear missiles. A 100% free and open source real-time strategy game for Windows, macOS, Linux, BSD+

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

The all-in-one bootable USB creator for Mac

Vinix is an effort to write a modern, fast, and useful operating system in the V programming language

EVE is Edge Virtualization Engine

Packet, where are you? -- eBPF-based Linux kernel networking debugger

Modern, secure, portable, multiprotocol bootloader and boot manager.

A PowerShell script to download Windows or UEFI Shell ISOs

A free Windows-compatible Operating System

Writing an OS in Rust

A technical explainer by @kognise of how your computer runs programs, from start to finish.

Windows rootkit for Intel x64 with 25+ features, demonstrating rootkit techniques compatible with all Windows 10 and Windows 11 versions.

Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust

The Serenity Operating System 🐞

🥑 A modern delightful operating system (mirror)

hekate - A GUI based Nintendo Switch Bootloader

syzkaller is an unsupervised coverage-guided kernel fuzzer

install latest or LTS linux kernel and enable BBR or BBR plus

LK embedded kernel

A Tiny Linux-Compatible Kernel

The official build framework for the Armbian Linux distribution. This repository contains the complete toolchain and scripts required to compile custom OS images from source, including kernel configuration, U-Boot handling, and board-specific tweaks for various ARM and ARM64 single-board computers.

The Zeal Operating System is a modernized fork of the 64-bit Temple Operating System, TempleOS.

Hermit for Rust.

Secure Boot & Measured Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/

A new bootable USB solution.

The seL4 microkernel

Windows boot logo changer for UEFI systems

Complete, independent operating system built by humans.

Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺

A kernel designed to run one and only one application in a virtualized environment

This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.

Linux Test Project (mailing list: https://lists.linux.it/listinfo/ltp)

A Rust-based, lightweight unikernel.

:computer: :lock: :key: Secure Boot key manager

Boot operating systems directly from ISO/WIM images

A True Instrumentable Binary Emulation Framework

A tool to recover a fully analyzable .ELF from a raw kernel, through extracting the kernel symbol table (kallsyms)

AnduinOS is a custom Ubuntu-based Linux distribution that offers a familiar and easy-to-use experience for anyone moving to Linux.

Unix-like OS in Rust inspired by xv6-riscv

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

Stealthy Linux Kernel Rootkit

MiUnlockTool developed to retrieve encryptData(token) for Xiaomi devices for unlocking bootloader, It is compatible with all platforms.

DragonOS is an operating system developed from scratch using Rust, with Linux compatibility. It is designed for **Serverless** scenarios.

ISO 14229 (UDS) server and client for embedded systems

🖥 Windows Bootable USB creator for macOS. 🛠 Patches Windows 11 to bypass TPM and Secure Boot requirements. 👾 UEFI & Legacy Support

Pragmatic microkernel-based OS with fully asynchronous I/O

IDA plugin and loader for UEFI firmware analysis and reverse engineering automation

A book about how to write OS kernels in Rust easily.

Free real-time operating system (RTOS) for microcontrollers with advanced c++ wrapper and support for std::thread

A Terminal user interface for maintaining an Arch Linux distribution.

An operating system designed for hosting containers

EDK II

A minimal, resource efficient unikernel for cloud services

MirageOS is a library operating system that constructs unikernels

Modular and configurable OS for embedded applications

Copper is an operating system for robots - build, run, and replay your entire robot deterministically.

The de facto operating system developed for the cult of Ayumu "Osaka" Kasuga.

Bootloader for root-on-ZFS systems with support for snapshots and native full disk encryption

Linux Kernel Manager and Activity Monitor 🐧💻

Linux kernel source tree

Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/

Hackintosh long-term maintenance model EFI and installation tutorial

Prometheus exporter for custom eBPF metrics

A package build system for Termux.

Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe, convenient, and performant abstractions for UEFI functionality.

Home Assistant OS Turbo is specifically optimized for the China region. All modifications are made solely for acceleration and compliance purposes, without altering any other information within the system.

Experimental WASM Microkernel Operating System

Web application acceleration, advanced DDoS protection and web security

UEFI:NTFS - Boot NTFS or exFAT partitions from UEFI

An open-source OS project that aims to provide source and binary compatibility with macOS® and a similar user experience.

Know what's happening on your network before it becomes a problem: real-time eBPF monitoring

Lightweight eBPF/XDP stateful firewall that auto-syncs listening ports and preserves return traffic. Zero-config, maximum defense.

🪁All the DSA(Data-Structures & Algorithms) 📒Concepts and 📏Implementations📐 |📈 FAANG Must Do Problems |🔰 CP |📑SDE Sheet's |🖊️ CSE Core Subjects(DBMS + MySql, OOP's, OS & CN) | ✏️Round 1(Aptitude, Logical Reasoning, Puzzle's, Programing MCQ's & Verbal ability) and 🃏Projects. || 🎯Aim :- Help 👨‍🚀Students who are preparing for SDE Interview's🏆.

Keeping track of companies that "care about your data 🥺"

Zircon microkernel reimplemented in Rust.

This is the upstream repository for the Security Enhanced Linux (SELinux) userland libraries and tools. The software provided by this project complements the SELinux features integrated into the Linux kernel and is used by Linux distributions. All bugs and patches should be submitted to selinux@vger.kernel.org

Browsers-as-a-service for automations and web agents

Android environment integrity inspection tool for root, hook, bootloader, SELinux, virtualization, and attestation signals

Envision a future where everyone can read all the code of an educational operating system.

A fuzzer for full VM kernel/driver targets

Mirror of https://gitlab.redox-os.org/redox-os/redox

🧑‍🔬 Operating system

S.U.P.E.R.M.A.N. optimizes the macOS software update experience.

Linux 内核揭秘

Crankshaft: A turnkey GNU/Linux solution that transforms a Raspberry Pi to an Android Auto head unit.

基于 Obsidian 系统构建的计算机专业学习/研究笔记

A book-in-progress about the Linux kernel and its insides.

A stunningly clean theme for the rEFInd UEFI boot manager.

Let's write an OS which can run on RISC-V in Rust from scratch!

Learning eBPF, published by O'Reilly - out now! Here's where you'll find a VM config for the examples, and more

Dexed FM synthesizer similar to 8x DX7 (TX816/TX802) running on a bare metal Raspberry Pi (without a Linux kernel or operating system)

MOROS: Obscure Rust Operating System 🦉

A stateless, high-performance NAT-like proxy that attaches to the XDP hook in the Linux kernel using (e)BPF for fast packet processing. This proxy forwards packets based on configurable rules and performs source-port mapping, similar to IPTables and NFTables.

A Simplified, Focused and Open NAS OS_

Linux kernel driver for Xbox One and Xbox Series X|S accessories

A more powerful alternative to sysctl(8) with a terminal user interface 🐧

Disable PatchGuard and Driver Signature Enforcement at boot time

LKM rootkit for Linux Kernels 2.6.x/3.x/4.x/5.x/6.x (x86/x86_64 and ARM64)

The perfect emulation setup to study and develop the Linux kernel, kernel modules, QEMU, gem5 and x86_64, ARMv7 and ARMv8 userland and baremetal assembly, ANSI C, C++ and POSIX. GDB step debug and KGDB just work. Powered by Buildroot and crosstool-NG. Highly automated. Thoroughly documented. Automated tests. "Tested" in an Ubuntu 24.04 host.

💽 Build Bespoke OS Images

A secure embedded operating system for microcontrollers

RDMA core userspace libraries and daemons

A modular and blazing fast runtime security tool for the IoT, powered by eBPF.

The Haiku operating system. (Pull requests will be ignored; patches may be sent to https://review.haiku-os.org).

Unlock the bootloader on Huawei devices with Kirin 620/65x/95x/960

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

iPXE network bootloader

Minimal Linux Live (MLL) is a tiny educational Linux distribution, which is designed to be built from scratch by using a collection of automated shell scripts. Minimal Linux Live offers a core environment with just the Linux kernel, GNU C library, and Busybox userland utilities.

🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

Apeireth — A Pure Safe Rust AGI Operating System & Cognitive Microkernel. 18 crates: continuous topological memory, causal world model, cognitive scheduler, Ember HUD, triple-onion security & portable USB agent.

Embeddable Linux Kernel Subset - Linux for 8086

Windows File System Proxy - FUSE for Windows

Copy Fail (CVE-2026-31431): 9-year-old Linux kernel LPE found by Theori's Xint Code

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

华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。

µC/OS-III is a preemptive, highly portable, and scalable real-time kernel. Designed for ease of use on a huge number of CPU architectures.

A book that explore how to write an Operating System from scratch

Resizable BAR for (almost) any UEFI system

Interface-Driven OS Kernel for AI-Assisted Learning | 面向 AI 的操作系统学习项目

HackSys Extreme Vulnerable Driver (HEVD) - Windows & Linux

Customizable Bootloader for STM32 microcontrollers. This example demonstrates how to perform in-application-programming of a firmware located on an external SD card with FAT32 file system.

Linux 内核实验（Linux kernel labs）中文翻译

Repository for various Broadcom Bluetooth firmware

UF2 file format specification

Hades HIDS/HIPS for Windows

The lttng-tools project provides a session daemon (lttng-sessiond) that acts as a tracing registry, the "lttng" command line for tracing control, a lttng-ctl library for tracing control and a lttng-relayd for network streaming.

Raspberry Pi 4 UEFI Firmware Images

Build your Chromium OS for Raspberry Pi 4B, Pi400 and the latest Raspberry Pi 5

The materials of "Hypervisor 101 in Rust", a one-day long course, to quickly learn hardware-assisted virtualization technology and its application for high-performance fuzzing on Intel/AMD processors.

开源书籍《FreeBSD 从入门到跑路》

A portable microkernel-based multiserver operating system written from scratch.

windows-kernel-exploits Windows平台提权漏洞集合

Secure USB DFU1.1 bootloader for STM32

windows kernel event log collect

msFuzz is a coverage-guided fuzzer for Windows kernel drivers that utilizes Intel PT and leverages constraint and dependency analysis to guide fuzzing.

A Linux eBPF rootkit with a backdoor, C2, library injection, execution hijacking, persistence and stealth capabilities.

OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32

Web Serving and Remote Procedure Calls at 50x lower latency and 70x higher bandwidth than FastAPI, implementing JSON-RPC & REST over io_uring ☎️

Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such as long mode, 5-level paging, and SMP (multicore), to name a few.

Qt binding for Go (Golang) with support for Windows / macOS / Linux / FreeBSD / Android / iOS / Sailfish OS / Raspberry Pi / AsteroidOS / Ubuntu Touch / JavaScript / WebAssembly

A new operating system kernel with Linux binary compatibility written in Rust.

:palm_tree:Linux、macOS、Windows Kernel privilege escalation vulnerability collection, with compilation environment, demo GIF map, vulnerability details, executable file (提权漏洞合集)

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

A PoC that exploits a vulnerability to bypass the Xiaomi HyperOS community restrictions of BootLoader unlocked account bindings.

Rust version of THU uCore OS. Linux compatible.

EDK2 UEFI firmware for Rockchip RK3588 platforms

Lightweight operating system using Node.js as userspace

My proof-of-concept exploits for the Linux kernel

Convert your Android phone to any USB device you like! USB Gadget Tool allows you to create and activate USB device roles, like a mouse or a keyboard. 🛠🛡📱

Attacking the cleanup_module function of a kernel module

ATTiny usb bootloader with a strong emphasis on bootloader compactness.

LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows, OpenBSD, NetBSD, FreeBSD and OpenWrt.

Haiway Edge Computing OS

A free Linux distro with a Python-based userspace

Protected Processes Light Killer

A Go unikernel running on x86 bare metal

The Lemon Operating System

Now You See Me, Now You Don't

Create multiboot live Linux on a USB disk...

kernel callback removal (Bypassing EDR Detections)

小米 BootLoader《解锁资格答题测试》更新记录

pongoOS

MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html

An Arch Linux repository for security professionals and enthusiasts. Done the Arch Way and optimized for i686, x86_64, ARMv6, ARMv7 and ARMv8.

:books: 计算机科学基础知识、Java开发、后端/服务端、面试相关 :books: computer-science/Java-development/backend/interview

Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU

Run iPhone (xnu-arm64) in a Docker container! Supports KVM + iOS kernel debugging (GDB)! Run xnu-qemu-arm64 in Docker! Works on ANY device.

The world's most powerful System Activity Monitor Engine · 一款功能强大的终端行为采集防御开发套件 ~ 旨在帮助EDR、零信任、数据安全、审计管控等终端安全软件可以快速实现产品功能， 而不用关心底层驱动的开发、维护和兼容性问题，让其可以专注于业务开发

💿 Web-based Windows 98 desktop recreation █████▓█▓▓▒▓▒▒░▒░░░🗕︎🗗︎🗙︎

A multitasking monolithic Kernel based x86 targeting Operating System written in C# from scratch aiming for high-level implementation of drivers in managed environment.

Fully chained kernel exploit for the PS Vita on firmwares 3.65-3.68

📗 How to write cross-platform Node.js code

Repository to store what we have studied. :book: We want everyone to get a job through TechnicalNote.

linux内核学习资料：200+经典内核文章，100+内核论文，50+内核项目，500+内核面试题，80+内核视频

Dumping processes using the power of kernel space !

《30天自制操作系统》源码中文版。自己制作一个操作系统（OSASK）的过程

2023年最新整理 c++后端开发，1000篇优秀博文，含内存，网络，架构设计，高性能，数据结构，基础组件，中间件，分布式相关

📚 📖 📚CSE GATE Resources for GATE and CSE Aspirants 😎 😁 . Show your ❤️ by ⭐️⭐️

Windows driver with usermode interface which can hide processes, file-system and registry objects, protect processes and etc

一个深挖 Linux 内核的新功能特性，以 io_uring, cgroup, ebpf, llvm 为代表，包含开源项目，代码案例，文章，视频，架构脑图等

OS for z80 calculators

Awesome Books