K

kernel

Bootdisks and Linux images for SBCs and TV boxes.

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

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

This guide explains how to properly rebuild and install the Ubuntu kernel from source, including workarounds for common nuances and edge cases.

Hobby OS written in Zig targeting RISC-V

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

Group-level README and docs

iwlwifi driver backport in DKMS format

Advanced Android kernel builder with Kali NetHunter support

Hola, Este es el repositorio Para Solucionar problemas que habia encontrado bugs en el juego. pero tambien, para optimizar el juego.

ARM based OS built in Rust

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.

Sample Web-service written in PHP to check Linux kernel config files in browser.

Linux kernel config file check utility.

FreeBSD kernel driver for gpio based remote control codes receiver.

Baremetal Arm Cortex-M7 project utilizing Renode to run the output without hardware.

dkms source for the Broadcom 1570 PCIe webcam

Bare bones kernel fully implemented in C and assembly.