collection of verified Linux kernel exploits - View it on GitHub