K

kernel

Manage the popular TKG packages (Kernel, Nvidia, Mesa, Wine, Proton) from the Frogging-Family repositories. 🐸

Advanced Android kernel builder with Kali NetHunter support

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/

Kernel configurations provided by CIP Members

A simulator for our future-planned kernel, Nitrocid Kernel!

CIP kernel mirror

Linux kernel CVE tracker

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

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.

UEFI experimentation on Intel x86-64 • mirror of https://codeberg.org/tkchia/unipercolate

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

https://xanmod.org

BOOTBOOT multi platform micro-kernel loader.

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

The Operating System written in Rust.

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

A modern minimalistic 64-bit OS written in Rust.

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

Linux kernel config file check utility.