K

kernel

The source tree for the Fedora and Always Ready kernels. This repository contains the configurations, build scripts, and downstream patches for both the Fedora kernel and the Always Ready Kernel (ARK).

Docs: https://cki-project.gitlab.io/kernel-ark/

A simulator for our future-planned kernel, Nitrocid Kernel!

CIP kernel mirror

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

https://xanmod.org

Doxihewu-OmniMind Sovereign Kernel — Rust crates, eBPF monitor, TATA procfs protocol. Public base calibrated for local hardware.

Linux kernel config file check utility.

Next-generation VisaNet deterministic routing and tokenization kernel. Features ultra-low-latency C++20/eBPF kernel-bypass switching, Rust-based ephemeral quantum-resistant token vaults, multi-region active-active C++ consensus, and bare-metal Assembly cryptographic acceleration for global payment rails.

BOOTBOOT multi platform micro-kernel loader.

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 stack, etc.

an 64 bit made from scratch operating system with it's own kernel shell libc and ports such as doom

V.OS - A UNIX-like Multitasking, Multiuser Operating System for microcontrollers.

UEFI experimentation on Intel x86-64 • mirror of https://codeberg.org/tkchia/unipercolate

iwlwifi driver backport in DKMS format

Kernel-level extensions to MIT's xv6 operating system, CPU scheduling algorithms, demand-paged virtual memory, and file system enhancements with multi-level block indexing

A UNIX-like (POSIX-compliant) kernel written in GNU C.

FreeBSD kernel driver for gpio based remote control codes receiver.