K

kernel

A simulator for our future-planned kernel, Nitrocid 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/

Kernel configurations provided by CIP Members

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

CIP kernel mirror

Bootdisks and Linux images for SBCs and TV boxes.

https://wiki.ubuntu.com/Kernel

Linux kernel CVE tracker

https://xanmod.org

A bot to help with Linux kernel regression tracking: https://linux-regtracking.leemhuis.info/about/

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

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

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

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

Advanced Android kernel builder with Kali NetHunter support

Override the linux-tools-common kernel version check.

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.

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

BOOTBOOT multi platform micro-kernel loader.