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/

Linux kernel CVE tracker

https://xanmod.org

CIP kernel mirror

Bootdisks and Linux images for SBCs and TV boxes.

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

Kernel configurations provided by CIP Members

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.

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

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

dkms source for the Broadcom 1570 PCIe webcam

Advanced Android kernel builder with Kali NetHunter support

A Basic Operating System Kernel

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

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.