kernel

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

A polyglot kernel for Jupyter notebooks based on GraalVM.

Marvell (formally Aquantia) AQC multigigabit NIC linux driver (atlantic) - development preview

A PC desktop OS

Free Pascal Operating System (FPOS) is a operating system consists of a minimal kernel built on FreePascal. It contains a Scheme implementation of a h...

Monolithic kernel, drivers and support libraries for x86_64 and m68k.

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...

RISC-V kernel implemented with Rust

UNIX-like operating system written in C and C++

Masl OS

Kernel module to get/set (both) fan speed(s) on ASUS Zenbooks

demos-linux is a project to demo and explore the Linux user space C/C++ API

Resolve DOS MZ executable symbols at runtime

GeoSn0w's majestic knowledge base for iOS 12 / iOS 13 Jailbreak Development.

Jupyter kernel for Coq

Kernel Test Framework - a unit test framework for the Linux kernel

Homebrew formulas for buildling a valid GCC toolchain for the i386-elf target.

A next-generation high-performance operating system focused on enterprise-level resilience

Blizzard Jailbreak for iOS 9.0 - 9.3.6, 32-Bit

安卓非GKI内核移植KernelSU通用指南/General guide to Android kernel porting KernelSU without GKI.

Kernel for the Oro Operating System

Stuxnet extracted binaries by reversing & Stuxnet Rootkit Analysis

Optimize system performance for games

A kernel written in Rust

Linux v4.x.x Rootkit

A small test app that tries to load a USBDriverKit system extension

An OS based on UEFI

A tool to help programmers debug and analyze Linux Kernel BPF verification failures.

An open-source operating system with its own kernel

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

🔍 Code to read / write the Process Memory from the Kernel 🔧

A 64-bit SMP-safe kernel for the PC architecture.

BananaPi M2 Zero - Ubuntu Focal Base Minimal Image (Experimental) - U-Boot 2017.09 / Kernel 4.18.y / Kernel 4.19.y / Kernel 4.20.y / Kernel 5.3.y / K...

Banana is an operating system (OS) for x86 and x86-64 computers. Comes with a GUI, including solitaire, minesweeper and a photo viewer!

A place to store my toy linux-security modules.

Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability

Upgrade latest kernel automatically for Ubuntu and derivatives such as Linux Mint. :runner:

Weaponizing the Linux Kernel (Hide Files/PID, SSH backdoors, SSL Sniffer, ...) by poking around eBPF/XDP

Live upgrade Linux kernel scheduler subsystem

A POSIX-like OS for ARM processors.

Kernel-level audio tuning module for Qualcomm devices that enables existing WCD9xx codec performance modes via sysfs when supported. No DSP, EQ, or am...

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

myLinux is an embedded operating system based on Buildroot and Finit

Single-address-space capability-based nanokernel

Windows Kernel Driver Development in C# with Windows Driver Kit (WDK)

Autonomous delivery robot with turtlebot3 and Jetson TX2

ModTracer Finds Hidden Linux Kernel Rootkits and then make visible again.

A reference operating system for embedded platforms, with initial bring-up on Beaglebone Black (ARM Cortex-A8).

Yanix is a UNIX-like kernel / operating system build completely from scratch

Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.