Il existe une solution "push button". Il suffit d'aller dans le menu "Linux kernel", et de sélectionner Xenomai. Évidemment, Xenomai prennant la forme de patches disponibles uniquement pour certaines versions bien précises du kernel, il faudra indiquer à Buildroot une version du kernel pour laquelle un patch Xenomai existe.
[^] # Re: Question
Posté par Thomas Petazzoni (site web personnel) . En réponse à la dépêche Sortie de Buildroot 2014.02. Évalué à 6.
Il existe une solution "push button". Il suffit d'aller dans le menu "Linux kernel", et de sélectionner Xenomai. Évidemment, Xenomai prennant la forme de patches disponibles uniquement pour certaines versions bien précises du kernel, il faudra indiquer à Buildroot une version du kernel pour laquelle un patch Xenomai existe.