Re: linux not getting gpio interrupts on xenomai 3.0.8 on raspberrypi raspbian/stretch kernel 4.9

[Jan Kiszka <jan.kiszka@web.de>]

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 <h.kuppens@cs.ru.nl> 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