Search

A Kernel based root solution for Android

Apple's open-source XNU kernel on Android phones: its own loader and drivers, Metal on the Adreno. Runs from RAM; a reboot gives the phone back to Android.

Kernel-based Android Root Solution & KPM

Application Kernel for Containers

A Rust port of NVIDIA's SMLib B-rep kernel (CAD subset): safe, deterministic, wasm-compatible

Omarchy Mobile: native Omarchy on mobile phones. Arch Linux ARM, Hyprland and Omarchy on a mainline kernel (work in progress)

Linux kernel source tree

An advanced Kernel based root solution for Android

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

Open PS5 firmware 14.10 research: Lua userland experiments, syscall and attack-surface analysis. Kernel read/write and a complete exploit are not demonstrated.

The patching of Android kernel and Android system

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

A security-focused library OS supporting kernel- and user-mode execution

Kernel-based Android Root Solution

XB_ToolBox: An easy-to-use ComfyUI custom node suite that streamlines workflow generation. Featuring exclusive data-flow logic and pioneering experimental kernel optimizations dedicated to the native AMD GPU ecosystem.

A lightweight library for xPU kernel JIT compilation

Free, open-source NTFS read-write for macOS, built on Apple FSKit. No kernel extension, no macFUSE, no admin password. Also on the Mac App Store.

Mirror of https://gitlab.redox-os.org/redox-os/kernel

BRep CAD kernel in Rust/WASM

SGLang kernel library for NPU

The Operating System for Scalable Enterprise AI Agents - Run, orchestrate, and deploy Compliant Enterprise AI Agents at scale across frameworks, without lock-in, rewrites or fragile glue code. Native support for MCP, A2A. Interface with all mainstream communication channels seamlessly out of the box, production ready from day one.

LK embedded kernel

CachyOS kernel for NixOS

Bootlin embedded Linux and kernel training materials

High-performance RL post-training infrastructure. Designed to achieve bitwise operator-level train-inference consistency across heterogeneous engines and extreme memory efficiency for GRPO, PPO, etc.

Customized version of the Linux kernel maintained by Armbian team to support Rockchip SoCs

Tilus is a tile-level kernel programming language with explicit control over shared memory and registers.

An open-source operating system with its own kernel

Implementation of the Jupyter kernel protocol in C++

Provides a structured process for converting a Request into a Response