trivial linux device driver snippets