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/

Optimizing Scheme compiler for Linux, NetBSD and bare hardware. https://scheme.fail/

Linux kernel CVE tracker

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

This is a public mirror of https://github.com/IRodriguez13/IR0

IR0 (In Ring 0) source tree.

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

CIP kernel mirror

Command line interface for TuxSuite services TuxBuild and TuxTest. https://tuxsuite.com and https://docs.tuxsuite.com

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

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

tyna upstream roadstr ok?

https://xanmod.org

The Operating System written in Rust.

Kernel configurations provided by CIP Members

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.

AnyKernel3 flashable zip

Manage the popular TKG packages (Kernel, Nvidia, Mesa, Wine, Proton) from the Frogging-Family repositories. 🐸

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.