Building Xenomai 3 , Kernel 4 ... for BeagleBone Black

Pierre FICHEUX pierre.ficheux at
Fri Aug 2 09:29:34 CEST 2019


I did a test with Xenomai 3 + BR for BBB.

I can send you the 'external' tree you can use for BR configuration.

$ make BR2_EXTERNAL=<path>/external  bbb_xeno3_defconfig
$ make


Le lun. 29 juil. 2019 à 19:24, danwe via Xenomai <xenomai at> a
écrit :

> Hi,
> Is there any different of Building Xenomai 3 with the proper Kernel for a
> BBB to any other microcomputers/computers?
> On are so
> many different examples and I do not understand what I need to do to build
> this.
> Is there any example to build Xenomai 3 and Kernel with Buildroot?
> Does flashing on SD-Card depend on building Xenomai with Kernel?
> I just need to run Xenomai 3 with the proper Kernel on a BeagleBone Black
> Thanks.
> Daniel


Pierre FICHEUX -/- CTO Smile ECS, France -\- pierre.ficheux at
I would love to change the world, but they won't give me the source code

More information about the Xenomai mailing list