Example codes for Linux Device Drivers Book