10x Linux Kernel Contributors

Experimental Test kernel for Windows Subsystem for Linux2 (WSL2)

Rolling Release LTS Kernel for Windows Subsystem for Linux2 (WSL2)

Rolling Release Stable Kernel for Windows Subsystem for Linux2 (WSL2)

The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)

Stand alone tool for Linux Kernel developers and maintainers to interact with KernelCI

Study note

Build system for open source firmware (coreboot, linux, EDK2, ...) with unified builds across development and CI environments.

Agent Security Runtime

A simple example Linux character device kernel module

This is a script to build a custom raspberry pi kernel, including a kernel patch to fix dwc2 wakeup issue.

The lttng-tools project provides a session daemon (lttng-sessiond) that acts as a tracing registry, the "lttng" command line for tracing control, a lttng-ctl library for tracing control and a lttng-relayd for network streaming.

Custom Linux kernel patches

kerf is a comprehensive multikernel management system designed to orchestrate and manage multiple kernel instances on a single host.

A book-in-progress about the Linux kernel and its insides.

Run Time for AIE and FPGA based platforms

Updated Fusion-io iomemory VSL Linux (version 3.2.16) driver for recent kernels.

Katya ®️'s system apps are a constellation of technological wonders seamlessly integrated into one user-friendly ecosystem. Designed with precision and intuition, they serve as the digital backbone of Katya's world, each app tailored to streamline tasks, amplify productivity, and infuse creativity into everyday life.

Adding support for the Rust language to the Linux kernel.

Modernized RedStarOS 3.0 ISO with a 64bit 5.4 kernel and much more. [Work In Progress]