Étiquettes:
La configuration à la main d'un kernel linux n'est pas si simple, et nous sommes très vite noyés dans les options : que faut-il mettre pour que notre distribution fonctionne correctement ? Quels pilotes installer ?
Dans le forum Gentoo Linux, je suis récemment tombé sur deux liens très intéressants, et pas spécifiques à Gentoo.
Le premier est Debian GNU/Linux device driver check page où, sur base d'un simple "lspci -n", on nous décrit quels modules devront être présents pour faire fonctionner le matériel.
Le second est Pappy's Kernels Seed, qui donne un ensemble de configurations minales de kernels (.config) permettant de faire tourner une Gentoo (mais donc aussi n'importe quelle autre distribution).
La combinaison de ces deux liens m'a permis de configurer très rapidement (en moins de 10 minutes) un kernel sur mes machines.
Résultat: compilation plus courte, et TOUT le matériel supporté.
N'est-elle pas belle la vie ?
CULButte : un Groupe d’ Utilisateurs Linux ("LUG" ou "GUL") de Braine-l’Alleud, Waterloo et alentours ( Brabant Wallon). Notre but : partager nos connaissances et notre goût pour une informatique libre !
