Some linux device drivers