Bonjour, c'est ton 2ème jour sous linux ;-)
Pour la commande make, lors de l'installation, est-ce que tu as installé les outils de développement?
Si oui, c'est bon.
Sinon, il faut que tu recherches les paquets comme gcc (et ses dépendances), et que tu les installes.
Pour les sources, le paquet doit s'appeler kernel-sources, ou quelque chose y ressemblant.
Forum:
Matériel