framboise314.fr

Bonjour,

J'apprend à compiler un driver et mon tuto me dit de brancher gcc sur les sources de linux (/usr/src/linux-headers-$(uname -r)
Hors ce répertoire est vide chez moi.
Donc ma question est :
Comment faire pour avoir les headers linux nécessaire à la compilation d'un driver ?

salut il faut installer les headers du noyaux c'est pour ça

Bonjour,

Attention, si tu as le noyau en version 4, les headers ne sont pas des les dépôts du RPI.
Donc aptitude ne va pas t'aider.

Par contre, je n'ai pas encore trouvé les headers.

Une piste : http://lostindetails.com/blog/post/Comp ... berry-pi-2

Bon weekend,

Si tu veux vraiment commencé à jouer avec le kernel voir même avec le tuning des applies installées, je te conseille de voir du coté de Gentoo.

Toutes mes machines sont maintenant sous cet OS (après en avoir eu marre des débilités d'ubuntu) et je n'ai pas a m'en plaindre. En plus, mes PC aident aux compilations des BananaPI (cross-compilation + DistCC) ce qui fait fait que j'ai des temps de compilations plus que décents ... hormis GCC lui-même qui ne se compile qu'en locale.

Bonjour,

destroyedlolo a écrit :Si tu veux vraiment commencé à jouer avec le kernel voir même avec le tuning des applies installées, je te conseille de voir du coté de Gentoo.

Toutes mes machines sont maintenant sous cet OS (après en avoir eu marre des débilités d'ubuntu) et je n'ai pas a m'en plaindre. En plus, mes PC aident aux compilations des BananaPI (cross-compilation + DistCC) ce qui fait fait que j'ai des temps de compilations plus que décents ... hormis GCC lui-même qui ne se compile qu'en locale.

Effectivement, Gentoo est une bonne distribution, il ne faut cependant pas oublier que nous sommes sur un forum Raspberry Pi et que pour un débutant, il est préférable de rester d'abord sur les sentiers battus avant de commencer à faire du Hors-Piste.

Bon weekend,

Merci pour tous ces retours. C'est super sympa

Pour l'instant je vais rester sur raspbian, je veux apprendre à maitriser cet O.S. (dans un premier temps)
Je suis vraiment dans une démarche qui consiste à comprendre et maitriser plutôt que de contourner les problèmes.

Donc ok, il me faut les headers du noyaux qui tourne actuellement sur mon pi.
Dites moi si je me trompe.

Quand je fais un uname -a j'ai comme réponse
Linux raspberrypi 4.1.13+ #826 PREEMPT Fri Nov 13 20:13:22 GMT 2015 armv6l GNU/Linux
J'imagine qu'il me faut trouver le zip correspondant aux sources de mon O.S. soit la version 4.1.13+

C'est là que je coince, n'ayant pas d'expèrience ni connaissances sur les bonnes pratiques à ce niveau.
Quels sont les sites / méthodes pour récupérer ces sources, sachant le numéro de version ?

Salut,

maxty01 a écrit :Effectivement, Gentoo est une bonne distribution, il ne faut cependant pas oublier que nous sommes sur un forum Raspberry Pi et que pour un débutant, il est préférable de rester d'abord sur les sentiers battus avant de commencer à faire du Hors-Piste.

Gentoo fonctionne très bien sur mes BananaPI et il y a pas mal d'utilisateurs des Framboises qui utilisent aussi cette distrib.
Et taper dans la mémoire des framebuffer et/ou ajouter un driver sort un peu de la définition du débutant

65c02 a écrit :Donc ok, il me faut les headers du noyaux qui tourne actuellement sur mon pi.
Dites moi si je me trompe.

Oui.

65c02 a écrit :Quand je fais un uname -a j'ai comme réponse
Linux raspberrypi 4.1.13+ #826 PREEMPT Fri Nov 13 20:13:22 GMT 2015 armv6l GNU/Linux
J'imagine qu'il me faut trouver le zip correspondant aux sources de mon O.S. soit la version 4.1.13+

Si mes souvenir Ubuntuiens sont justes, tu devrais avoir un package nommé "linux-headers" ou qq chose du genre. Maintenant, si comme le dit maxty01 il ne sont pas dispo pour le 4.1 ... la meilleur chose est sans doute de voir sur les forums de rasbian comment font les développeurs.
Je m'explique : tu trouveras normalement les entêtes sur le site kernel.org (site de référence du kernel linux) ... sauf le + indique qu'il ne s'agit plus du kernel standard mais d'un kernel qui a été customisé (généralement pour ajouter des patches qui ne sont pas encore passés dans le "mainline") et les headers ont peut-être été modifiés eux aussi.

65c02 a écrit :C'est là que je coince, n'ayant pas d'expèrience ni connaissances sur les bonnes pratiques à ce niveau.
Quels sont les sites / méthodes pour récupérer ces sources, sachant le numéro de version ?

Ben a nouveau, il faut voir sur les forums de ton OS. Car si tu bidouille directement avec les sources brutes, tu risques d'avoir de pb lorsque tu fera des mise-à-jours.

ps: en parlant de "hors-piste", c'est le vacances et je monte m'éclater spatulairement pour une semaine. Je ne suis pas sur d'avoir du réseau.