cache_ext is a framework to customize Linux page cache eviction policies using BPF. Appeared in SOSP 2025.

Replace all the dynamic heap allocation functions by LD_PRELOAD.

A comprehensive Rust sandbox implementation that provides process isolation

Space Station OS. A future where anyone can develop space stations.

The ComponentContainer and Executor that assign a dedicated thread for each callback group.

A rclcpp-compatible true zero-copy IPC middleware supporting all ROS message types

Awkernel: realtime operating system written in Rust

Visualization of the COMPLETE MEMORY MAP of any given process

RD-Gen (random DAG generator considering multi-rate applications for reproducible scheduling evaluation) is a tool for researchers targeting DAGs.

SCX callback analyzer using Perfetto.

Integration of NVIDIA Nova Carter with Autoware

Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.

Linux v6.11 Kernel Module for Print VMA

Verified Rust for low-level systems code

This repository contains a minimal implementation of an scx scheduler.

A simple kernel module using struct_ops and a corresponding BPF program

Let's build a symbolic model checker from scratch in Rust !

A proof-of-concept microkernel that runs WebAssembly natively.

sched_extのカーネルコードにコメントを追加したパッチ

sched_ext schedulers and tools

A FUSE filesystem for your Google calendar

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

collection of articles about PhD life written in 🇯🇵