A Linux Verification Framework