Bonjour,
Merci pour votre réponse.
En recherchant dans la doc j'en suis venu à la conclusion que j'avais mal patché le kernel.
J’ai recommencé un nouveau tutoriel afin de corriger le problème et de patcher correctement le kernel.
J’ai suivit ce tutoriel la que je trouve très bien fait:
https://github.com/miquelraynal/real-time-rpi
Le tutoriel est réalisé pour une Raspberry pi 1 B et j’utilise une Raspberry pi 1 B+, j’ai vu que les architectures, notamment le processeur étaient très similaires donc je n’ai rien changé vis a vis du tutoriel. Malheureusement lorsque je teste la distribution rien ne se passe.
Au début j’ai pensé avoir mal fait quelque chose alors j’ai téléchargé l’image mise à disposition mais la encore rien n’y fait .
Pour flacher la carte SD, j’ai d’abord installer une Raspbian dessus, puis j’ai tout supprimé à la main pour avoir les partitions boot et rootfs vides et ensuite j’ai copié les fichiers comme indiqué dans le tutoriel.
Auriez vous une idée afin de résoudre le problème que je rencontre avec le tutoriel ?
J’ai aussi remarqué que la copie avec la commande
cp rpi-firmware/* zImage /media/${USER}/boot/
s’exécutait anormalement vite.
Merci pour votre aide
Partager