Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines, ACM EuroSys'25

The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches, ACM CCS'24

A minimalist macro recorder

macOS like keyboard remap for GNOME desktop environment. Works with Wayland and X11.

Project ACRN hypervisor

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

Ubuntu for Rockchip RK35XX Devices

An OpenGL implementation enabling 3D acceleration for Windows and Linux guests in QEMU/KVM

A utility for mapping events from Linux event devices.

Spectre based on Linear Address Masking

Code to drive alphanumeric LED CPU meter

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

Linux kernel source tree for Windows Dev Kit 2023

An Open and Cross-platform Trusted Execution Environment.

Linux-based partitioning hypervisor

A highly configurable cross-platform (Windows) status bar written in Python.

A tiling window manager for Windows 🍉

The SpinalHDL design of the Proteus core, an extensible RISC-V core.

Mold: A Modern Linker 🦠

Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf

Artifacts for the paper "KSplit: Automating Device Driver Isolation"

The system call intercepting library

A micro hypervisor for running micro VMs

Linux kernel for Khadas VIMs & Edges

Automatic emulator testing tool based on FuzzBALL and KEmuFuzzer

Small portable AES128/192/256 in C