Research Day – Efficient Runtime Verification for the Linux Kernel