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

Bootdisks and Linux images for SBCs and TV boxes.

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

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

Kernel configurations provided by CIP Members

OpenKernel is an AGPL-3.0+ operating kernel for human capability and trajectory intelligence, designed to transform skills, experience, and resources into structured, positive-sum creation paths. It helps individuals move from consumption to creation by mapping their capabilities into evolving opportunities, projects, and systems that generate long-term value for themselves and their communities while replacing extractive models with creation-driven ecosystems.

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

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

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

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

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.