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/

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.

Linux kernel CVE tracker

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

ExectOS Operating System

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

An Android kernel with Kali NetHunter functionality.

https://xanmod.org

CIP kernel mirror

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

FreeBSD Kernel Programming interface for Rust programming language

Bootdisks and Linux images for TV boxes and SBCs.

A modern minimalistic 64-bit OS written in Rust.

Linux mainline fork with MT6763 patches, currently supported devices:

Volla Phone (2020)

Linux mainline fork with MT6768/MT6769Z patches, currently supported devices:

Volla Phone 22 (2022)

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

Kernel module written in Rust (blog post series)