schumilo/kafl.linux

Linux kernel braches for confidential compute research

Linux branches for fuzzing with kAFL

WARNING - this project contains experimental and unsupported software for purpose of research. Do not use for production.

Overview:

• kvm-nyx-N tracks the Nyx KVM tree at https://github.com/nyx-fuzz/KVM-Nyx/
• kafl/sdv-N are variants of the Nyx KVM tree with TDX 'SDV' emulation + kAFL support
• guest tracks upstream TDX guest kernel at https://github.com/intel/tdx/
• kafl/fuzz-N are variants of Linux guest kernels for fuzzing with kAFL

See also:

• IntelLabs/kAFL
• KVM-Nyx
• Linux Kernel Hardening for Intel TDX