K

kernel

CIP kernel mirror

Linux kernel CVE tracker

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/

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

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

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

The Operating System written in Rust.

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

https://xanmod.org

Kernel configurations provided by CIP Members

Advanced Android kernel builder with Kali NetHunter support

Bootdisks and Linux images for SBCs and TV boxes.

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

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

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

Override the linux-tools-common kernel version check.

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

BOOTBOOT multi platform micro-kernel loader.

Linux kernel config file check utility.

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