[rwth-unix-admin] Making C Less Dangerous in the Linux kernel