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/

Kernel configurations provided by CIP Members

The Operating System written in Rust.

Linux kernel CVE tracker

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

Baremetal Arm Cortex-M7 project utilizing Renode to run the output without hardware.

https://xanmod.org

Advanced Android kernel builder with Kali NetHunter support

dkms source for the Broadcom 1570 PCIe webcam

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

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

AnyKernel3 flashable zip

Bootdisks and Linux images for SBCs and TV boxes.

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

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

Bare bones kernel fully implemented in C and assembly.