Codice sorgente driver standard. Sul sistema o separato?

[DoctorStrange]

Buonasera a tutti.

Con l'intenzione di provare a studiare come sono realizzati alcuni driver linux, vorrei provare a leggere alcuni driver realmente esistenti. Al momento, vorrei concentrarmi su qualcosa di "moderatamente" semplice. Pensavo ai driver della tastiera. La domanda che vorrei fare è questa: nella directory di sistema /usr/lib/modules ed annidate, ho trovato solo una serie di files "kernel object" (ko). Vorrei invece studiare le sorgenti che hanno generato questo moduli, quindi vorrei sapere se queste sorgenti si trovano da qualche parte nel sistema stesso, oppure se le sorgenti vanno scaricate separatamente, ad esempio da "kernel.org" o simili. Oltre a questo, quale è il modo migliore di "ispezionare" un kernel object? Sarei tentato di pensare che questo sia un file binario, quindi un hexdump, oppure un binwalk? Oppure c'è un modo di risalire al sorgente a partire dal modulo kernel?

Grazie mille.