[rwth-unix-admin] Linux Kernel Teaching