Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE - View it on GitHub