example linux device driver modules I developed around 2006