arm64 Linux kernel - Linux kernel port to the ARMv8/AArch64 architecture
Stacked Git - a Quilt-like tool on top of Git
Kmemleak - a Linux kernel memory leak detector based on the tracing garbage collection technique
Formal models - a collection of PlusCal/TLA+ specifications modelling various Linux kernel algorithms