Re: Writing device drivers in Linux: A brief tutorial