Linux kernel stuff

(0): Course notes from the class Advanced Linux FS-2013, taught by Franz Meyer @ Berner Fachhochschule Technik und Informatik.

(1): Linux Device Driver, 3rd Edition by Jonathan Corbet, Alessandro Rubini, and Greg Kroah-Hartman.