Projects

arm64 Linux kernel - Linux kernel port to the ARMv8/AArch64 architecture

Stacked Git - a Quilt-like tool on top of Git

Kmemleak

Formal models

CacheSpec