K

kernel

Linux kernel CVE tracker

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/

https://xanmod.org

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.

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

Kernel configurations provided by CIP Members

Advanced Android kernel builder with Kali NetHunter support

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

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

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

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.

AnyKernel3 flashable zip

Bootdisks and Linux images for SBCs and TV boxes.

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

https://wiki.ubuntu.com/Kernel

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

A modern minimalistic 64-bit OS written in Rust.