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/

Linux kernel CVE tracker

CIP kernel mirror

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

https://xanmod.org

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

Nix expressions for kernel and U-Boot for Orange Pi 3 LTS

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

This guide explains how to properly rebuild and install the Ubuntu kernel from source, including workarounds for common nuances and edge cases.

Hobby OS written in Zig targeting RISC-V

AnyKernel3 flashable zip

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

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

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

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.

Group-level README and docs

The Operating System written in Rust.

iwlwifi driver backport in DKMS format

Kernel configurations provided by CIP Members