K

kernel

CIP kernel mirror

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

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

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

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

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

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

Currently in v4.19.334 upstream from v5.4.295

An indipendent 64-bit kernel

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.

dkms source for the Broadcom 1570 PCIe webcam

A Basic Operating System Kernel

iwlwifi driver backport in DKMS format