On 19.06.19 23:52, Harco Kuppens via Xenomai wrote:
Op 19/06/2019 om 17:00 schreef Greg Gallagher:
On Wed, Jun 19, 2019 at 8:44 AM Harco Kuppens <[email protected]> wrote:
The ipipe patched not entirely cleanly on the rpi kernel source; I had to
make little changes in the patch, but not anything really seriously. So I
expect it to be fine.
I used the rasbpian kernel source because it has better support for the
raspberry pi's and mainly because it has better support for the gpio pins in
its kernel.
However to help you debug I did a similar install using the mainline kernel
source. The ipipe patch just worked smoothly, however to get the gpio pins
running in xenomai I had to still port some code of the file
./drivers/pinctrl/bcm/pinctrl-bcm2835.c
What did you have to change here to get the pins to work with Xenomai?
You shouldn't need to change anything here. If you did then it may be
a bug in the ipipe. Can you try with 4.14 ipipe ?
I did try with ipipe 4.19 and when compiling the kernel I got lot of errors.
Some I could solve, but at the end I gave up.
See my notes on
https://github.com/harcokuppens/xenomai3_rpi_gpio/blob/master/install/__INSTALL_FAILURES__/install__compile_vanilla_kernel_4.19_with_xenomai_3.0.8__assert_error.txt
Maybe this is also interesting for you.
4.19 requires Xenomai master. See our CI (e.g.
https://travis-ci.com/xenomai-ci/xenomai/jobs/209347407) for a working setup.
Jan
