K

kernel

iwlwifi driver backport in DKMS format

Advanced Android kernel builder with Kali NetHunter support

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

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.

BOOTBOOT multi platform micro-kernel loader.

dkms source for the Broadcom 1570 PCIe webcam

Bootdisks and Linux images for SBCs and TV boxes.

Bare bones kernel fully implemented in C and assembly.

Override the linux-tools-common kernel version check.

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

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

https://wiki.ubuntu.com/Kernel