kernel

BOOTBOOT multi platform micro-kernel loader.

A bot to help with Linux kernel regression tracking: https://linux-regtracking.leemhuis.info/about/

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

V.OS - A UNIX-like Multitasking, Multiuser Operating System for microcontrollers.

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.

Documents the process of building a recent version ZFS kernel module against a Ubuntu mainline kernel version, and the details on how to make it work properly in runtime.

Lamb, a x86_64 hybrid kernel written in pure Zig.

ExectOS Operating System

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.

iwlwifi driver backport in DKMS format

Nix expressions for kernel and U-Boot for Orange Pi 3 LTS