K

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

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.

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

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

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

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

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.

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

Bare bones kernel fully implemented in C and assembly.

This project is a continuation from the barebones kernel skeleton developed as part of the Computer Architecture course in University of Buenos Aires

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

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

Currently in v4.19.334 upstream from v5.4.295