Is it even possible to verify and trust the code running in the Linux kernel? If not then it’s a hopeless endeavor.