An example of linux device driver