A script for checking the hardening options in the Linux kernel config
