Writing device drivers in Linux: A brief tutorial - UniFI