Top 488 kernel open source projects

Tools for bootstrapping custom kernels on the UniFi Dream Machine

Free Pascal Operating System (FPOS) is a operating system consists of a minimal kernel built on FreePascal. It contains a Scheme implementation of a hard drive (ATA) driver, keyboard (PS2), serial (8250 UART), FAT32 filesystem and a small real time clock manager. The project was built to experiment with developement of operating system using a h…

A toy monolithic kernel written in C++

SystemBoot is a LinuxBoot distribution that works as a system firmware + bootloader, based on u-root

The windows kernel debugger consists of two parts, KMOD which is the kernel driver handling ring3 request and KCLI; the command line interface for the driver. It originated due to insufficient useability with CheatEngine's DBVM driver while debugging games running under certain AntiCheat software.

A small kernel + OS based on how dreams work

Cat System Workshop is a regular meet-up focusing on “system software”. We would like to gather all developers to share their experience regarding system software and learn from each other, making system software more perfect and complete!

A polyglot kernel for Jupyter notebooks based on GraalVM.

Phoenix-RTOS microkernel repository

Supports de cours

Exploit Development - Weaponized Exploit and Proof of Concepts (PoC)

Sphinx Custom Kernel for Pocophone F1 (Beryllium)

Generates kernel patch for CamFlow Linux Provenance Capture.

QuicksilveR Kernel Source For Xiaomi Redmi Note 8/8T, Fork of https://github.com/ghostrider-reborn/android_kernel_xiaomi_ginkgo

CatDriver - The Kernel Mode Driver that written in C++. It is an useful driver and has the highest privilege level on the Windows platform. It can be used for Game Hacking and others.

A simple hobby operating system for the x86-64 architecture, written in C.

x86 Kernel Project

Continuous integration for the Linux Kernel - Built within Docker

Dell Inspiron 15-3542 (3542-2538) with Fourth Gen Intel Core i3/i5/i7 optimized.

Rust implementation of Xinu educational operating system

This repository contains the source code of the unikernel toro

RocketOS is a Unix based OS that uses legacy BIOS and GRUB and is written in C17. It is being developed for educational purposes primarily, but it still is a serious project. It is currently in its infancy.

Nonce Setter for iOS 12.0 -> 12.2 and 12.4 pre-A12

An AArch64 hobbyist OS for the Raspberry Pi 3 B+

A simple script to install the necessary firmware to fix sound output (dummy sound).

Linux kernel PPS generator using GPIO pins

Linux Kernel 1.0

Just another (unfinished) kernel from scratch...

GNU/Linux kernel driver and libusb app for a Pearl's USB LED fan

Linux OTF2 Sampling - A Lightweight Node-Level Performance Monitoring Tool

Check linux sources dump for known CVEs.

My ongoing experimentation on operating system internals, aiming at providing a kernel to the FreeDOS-32 project.

The Microdot Project guides you to create a fully functional but compact Linux system from scratch

A community driven OS by the youth

A playground to build C/C++/Go/Fortran applications on top of RustyHermit

A small operating system where I experiment and learn osdev.

Tools for profiling the Linux network stack.

Simple microkernel (early stage)

Research into porting the XNU kernel to ARM devices.

source code audit tool

Xbox kernel APIs tester written using nxdk

BTFHub, together with BTFHub Archive repository, provides BTF files for existing published kernels that don't support embedded BTF.

A kernel written in Rust

GDB plug-in that helps exploiting the Linux kernel's SLUB allocator

A toy tool that leverages the super powers of XDP to bring in-kernel IP filtering

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

Abandoned overcomplicated Microkernel using modern x86_64 features

A MongoDB kernel for Jupyter

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

bpflock - eBPF driven security for locking and auditing Linux machines

rnk is a RTOS targeting ARM architecture.

macOS notes

Sample usage of the new memfd_create(2) Linux system call.

32 bit singletasking C kernel

A secure, modern and intelligent operative system

A learning OS

Minimal kernel implemented in Rust

Advanced process execution monitoring utility for linux (procmon like)

Operating Systems & Cloud Native Theory, Workshops, Guides, Cool Cloud Native Projects and students contribution area

Jupyter kernel for scala and spark