K

kernel

CIP kernel mirror

Kernel configurations provided by CIP Members

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

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

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

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.

iwlwifi driver backport in DKMS format

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

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.

Sample Web-service written in PHP to check Linux kernel config files in browser.

Linux kernel config file check utility.

FreeBSD kernel driver for gpio based remote control codes receiver.

BOOTBOOT multi platform micro-kernel loader.

dkms source for the Broadcom 1570 PCIe webcam

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

A modern minimalistic 64-bit OS written in Rust.