Code for the materials from the Bootlin (http://bootlin.com) kernel course and https://krinkinmu.github.io/