K

kernel

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

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

Tool for disabling drivers in a binary NetBSD kernel

A simple operating system, inspired by the designs of Plan 9 and Windows NT.

freestanding kernel :3

Light as a leaf

The goal of this project is to learn how to write a basic USB driver for a Raspberry Pi pico in the OpenBSD Kernel.

My simple kernel

Documents the process of building a recent version ZFS kernel module against a Ubuntu mainline kernel version, and the details on how to make it work properly in runtime.

Lamb, a x86_64 hybrid kernel written in pure Zig.

ExectOS Operating System