K

kernel

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

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.

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

A modern minimalistic 64-bit OS written in Rust.

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

Currently in v4.19.334 upstream from v5.4.295

An indipendent 64-bit kernel

Android GKI Builder

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.

A complete reimplementation of the Linux kernel in Rust code, with a focus on the x86_64 architecture. Ensuring memory safety, secure concurrency and parallelism with powerful abstractions without loss of performance improving kernel maintainability and readability.

A simple app for comparing Linux kernel configs and showing output as text, CSV or Markdown tables

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.

A Basic Operating System Kernel