Raspberry Pi :: Communauté francophone

Version complète : Problème installation Xenomai
Vous consultez actuellement la version basse qualité d’un document. Voir la version complète avec le bon formatage.

LittleBeginner

Bonjour,

Je post ce message car je rencontre un problème lors de l'installation de Xenomai sur ma raspberry pi B+, et si quelqu'un pouvait me dire ce que j'ai pu oublier ou mal faire dans les étapes ci-dessous, cela me sauverait !

Je pars sur ma raspberry d'un système raspbian en version 3.18.11
Je télécharge d'abord xenomai-2.6.4 à l'adresse http://download.gna.org/xenomai/stable
et dans le dossier /ksrc/arch/arm/patches/ je vois un dossier raspberry avec des patches pour un kernel 3.8.13, je télécharge donc rpi-3.8.13 auquel j'applique les patches suivants :
../xenomai-2.6.4/ksrc/arch/arm/patches/raspberry/ipipe-core-3.8.13-raspberry-pre-2.patch
../xenomai-2.6.4/ksrc/arch/arm/patches/ipipe-core-3.8.13-arm-4.patch
../xenomai-2.6.4/ksrc/arch/arm/patches/raspberry/ipipe-core-3.8.13-raspberry-post-2.patch
qui se déroulent sans problème.
J'effectue ensuite le script prévu par xenomai avec la commande :
../xenomai-2.6.4/scripts/prepare-kernel.sh --linux=. --ipipe=../xenomai-2.6/ksrc/arch/arm/patches/ipipe-core-3.8.13-arm-4.patch --arch=arm

Jusque là tout va bien ! Je dois ensuite configurer le noyau, pour ça je fais make ARCH=arm bcmrpi_defconfig qui permet de ce que j'ai pu lire de faire la configuration classique pour raspberry pi. A cette étape j'ai un warning :
bcmrpi_defconfig:891:warning: symbol value 'm' invalid for ZSMALLOC
J'effectue ensuite make ARCH=arm menuconfig afin de décocher deux éléments :
dans « Kernel Features », l'option « Enable -fstack-protector buffer overflow detection » et
dans « Kernel hacking », l'option « KGDB: kernel debugger ---> »

Je fais ensuite un make ARCH=arm puis sudo make modules_install qui se déroulent sans problème. Je remplace alors kernel.img par la zImage issue de la compilation de mon noyau et je reboot. Je devrais alors rebooter sur le nouveau kernel, or après plusieurs essais la carte plante toujours au cours de l'initialisation du système...

Je ne vois pas ce que je peux faire pour résoudre ce problème, j'espère donc trouver sur ce forum des gens qui pourront m'aider à comprendre ce qui ne va pas et à trouver une solution.

Merci d'avance pour vos réponses !