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

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

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

This project is a continuation from the barebones kernel skeleton developed as part of the Computer Architecture course in University of Buenos Aires

Kernel configurations provided by CIP Members

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

Advanced Android kernel builder with Kali NetHunter support

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

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

FreeBSD kernel driver for gpio based remote control codes receiver.

Light as a leaf

ExectOS Operating System

LKDDb (Linux Kernel Driver Database) is a comprehensive database of hardware and protocols known by Linux kernels, and the tools to automatically generate such database from Linux sources.

Walkthrough of Linux kernels builds with Rust

xHCI Debug Capability Driver