K

kernel

Linux kernel CVE tracker

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

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/

CIP kernel mirror

https://xanmod.org

The Operating System written in Rust.

Bootdisks and Linux images for SBCs and TV boxes.

Kernel configurations provided by CIP Members

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

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

Currently in v4.19.334 upstream from v5.4.295

Unix like kernel

An indipendent 64-bit kernel

The EmberOS operating system source tree, issue tracker, and more.

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

Android GKI Builder

FreeBSD kernel driver for a tm1637 display character device. The tm1637 display connects to an ARM system by GPIO, is defined by a fdt-overlay and contolled by sysctl variables.

FreeBSD kernel driver for gpio based remote control codes receiver.