Notes from Linux Device Drivers course at UCSC Extension