K

kernel

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

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

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.

an 64 bit made from scratch operating system with it's own kernel shell libc and ports such as doom

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

This is a public mirror of https://github.com/IRodriguez13/IR0

IR0 (In Ring 0) source tree.

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

Doxihewu-OmniMind Sovereign Kernel — Rust crates, eBPF monitor, TATA procfs protocol. Public base calibrated for local hardware.

https://xanmod.org

Kernel configurations provided by CIP Members

An open-source observatory for reproducible Linux kernel performance research and systems investigation.

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

Advanced Android kernel builder with Kali NetHunter support

FreeBSD kernel driver for gpio based remote control codes receiver.

This project is a continuation from the barebones kernel skeleton developed as part of the Computer Architecture course in University of Buenos Aires

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

Light as a leaf

ExectOS Operating System