K

kernel

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

CIP kernel mirror

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/

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

Linux kernel CVE tracker

An open-source observatory for reproducible Linux kernel performance research and systems investigation.

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

https://xanmod.org

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

The Operating System written in Rust.

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.

Kernel configurations provided by CIP Members

AnyKernel3 flashable zip

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

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.

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