kernel

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/

https://xanmod.org

CIP kernel mirror

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

Tests developed by CIP Members and contributors

BOOTBOOT multi platform micro-kernel loader.

PDEngine.NT is a small but handy tool for working with the PEB block of a process and related structures that can be read from it.

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

ExectOS Operating System

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