K

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.

Kernel configurations provided by CIP Members

Linux kernel CVE tracker

CIP kernel mirror

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

https://xanmod.org

Advanced Android kernel builder with Kali NetHunter support

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

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

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

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

Group-level README and docs

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

The Operating System written in Rust.

Hola, Este es el repositorio Para Solucionar problemas que habia encontrado bugs en el juego. pero tambien, para optimizar el juego.

ARM based OS built in Rust

Kernel-level extensions to MIT's xv6 operating system, CPU scheduling algorithms, demand-paged virtual memory, and file system enhancements with multi-level block indexing

A UNIX-like (POSIX-compliant) kernel written in GNU C.