Ci ho dato un'occhiata ma nons embra esserci niente di utile.
Ma ho anche spulciato tra i diversi motori di ricerca, ma non esiste un website specifico per i linux drivers??