K

kernel

A complete reimplementation of the Linux kernel in Rust code, with a focus on the x86_64 architecture. Ensuring memory safety, secure concurrency and parallelism with powerful abstractions without loss of performance improving kernel maintainability and readability.

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

Linux kernel CVE tracker

CIP kernel mirror

Advanced Android kernel builder with Kali NetHunter support

Kernel configurations provided by CIP Members

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

Bootdisks and Linux images for SBCs and TV boxes.

Android GKI Builder

iwlwifi driver backport in DKMS format

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

The Operating System written in Rust.

Running x86-16 or x86-32 code from x86-64 UEFI; very experimental • formerly biefircate • mirrored at https://codeberg.org/tkchia/muefircate • developer notes at https://gitlab.com/tkchia/muefircate/-/blob/main/doc/NOTES.asciidoc

https://wiki.ubuntu.com/Kernel

PDEngine.NT is a small but handy tool for working with the PEB block of a process and related structures that can be read from it.

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

Tool for disabling drivers in a binary NetBSD kernel