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

Bootdisks and Linux images for SBCs and TV boxes.

https://xanmod.org

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.

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

CIP kernel mirror

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

Advanced Android kernel builder with Kali NetHunter support

https://wiki.ubuntu.com/Kernel

The Operating System written in Rust.

Kernel configurations provided by CIP Members

Android GKI Builder

Tool for disabling drivers in a binary NetBSD kernel

FreeBSD Kernel Programming interface for Rust programming language

Tests developed by CIP Members and contributors

Historic repository. Real-time version now part of main CIP kernel repo (https://git.kernel.org/pub/scm/linux/kernel/git/cip/linux-cip.git)

A simple operating system, inspired by the designs of Plan 9 and Windows NT.