kernel

CIP kernel mirror

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

The Operating System written in Rust.

Kernel configurations provided by CIP Members

Tool for disabling drivers in a binary NetBSD kernel

Tests developed by CIP Members and contributors

BOOTBOOT multi platform micro-kernel loader.

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

freestanding kernel :3

Light as a leaf

The goal of this project is to learn how to write a basic USB driver for a Raspberry Pi pico in the OpenBSD Kernel.

Running x86-16 or x86-32 code from x86-64 UEFI; very experimental • formerly biefircate • mirrored at https://codeberg.org/tkchia/muefircate • developer notes at https://gitlab.com/tkchia/muefircate/-/blob/main/doc/NOTES.asciidoc

My simple kernel

A modern minimalistic 64-bit OS written in Rust.

Lamb, a x86_64 hybrid kernel written in pure Zig.

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

Unix-like kernel (hobby project)

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.

dkms source for the Broadcom 1570 PCIe webcam

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.