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

https://xanmod.org

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. 🐸

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

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.

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/

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

Advanced Android kernel builder with Kali NetHunter support

Kernel-level extensions to MIT's xv6 operating system, CPU scheduling algorithms, demand-paged virtual memory, and file system enhancements with multi-level block indexing

A UNIX-like (POSIX-compliant) kernel written in GNU C.

Linux kernel config file check utility.

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

https://wiki.ubuntu.com/Kernel

A modern minimalistic 64-bit OS written in Rust.