K

kernel

Kernel configurations provided by CIP Members

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

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. 🐸

Linux kernel CVE tracker

CIP kernel mirror

https://xanmod.org

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

Advanced Android kernel builder with Kali NetHunter support

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

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

Linux kernel config file check utility.

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

EVE64 is a monolithic kernel. It is designed to provide with modular execution and absolute hardware control as the core foundation of the Executable Visual Environment; Your last decision to true system control.

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

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

Bootdisks and Linux images for SBCs and TV boxes.

The Operating System written in Rust.