Problème installation xenomai

[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 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 des gens qui pourront m'aider à comprendre ce qui ne va pas et à trouver une solution.

Merci d'avance pour vos réponses !

[destroyedlolo]

Je ne connais pas xenomai, mais lorsque je fais des maj de kernel sous Gentoo, je dois mettre a jour Grub pour qu'il soit pris en compte si ce n'est pas pas la même version.

[LittleBeginner]

Merci pour la réponse !
Effectivement je n'ai pas touché au grub, cependant je ne sais pas si cela est possible avec Raspbian et si oui quel fichier faut il modifier ?