Wipe and reinstall a running Linux system via SSH, without rebooting. You know you want to.

Bash Line Editor―a line editor written in pure Bash with syntax highlighting, auto suggestions, vim modes, etc. for Bash interactive sessions.

4 labs + 2 challenges + 4 docs

运维简洁实用手册

PaSh: Light-touch Data-Parallel Shell Processing

Setup a new machine without sudo!

Reference setup for Linux kernel development in VSCode

CXL Memory Resource Kit top-level repository

Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22

Molecule's artifact for ASPLOS'22

Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.

Course website for Systems Verification Fall 2024