4.1.2.1. Example: Linux Driver Model