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/

https://xanmod.org

Kernel configurations provided by CIP Members

Linux kernel CVE tracker

Bootdisks and Linux images for TV boxes and SBCs.

https://wiki.ubuntu.com/Kernel

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

Tests developed by CIP Members and contributors

Android GKI Builder.

Advanced Android kernel builder with Kali NetHunter support.

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

My Operating System written in C/C++ & x86 Assembly

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

freestanding kernel :3

A modern minimalistic 64-bit OS written in Rust.

Documents the process of building a recent version ZFS kernel module against a Ubuntu mainline kernel version, and the details on how to make it work properly in runtime.

ExectOS Operating System

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

Unix-like kernel (hobby project)