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/

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

https://xanmod.org

Linux mainline fork with SDM845 patches, currently supported devices:

OnePlus 6/6T, Xiaomi Pocophone F1

CIP kernel mirror

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

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

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.

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

iwlwifi driver backport in DKMS format

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