Re: [Xenomai-help] Intel EP80579 support

[Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>]

Bosko Radivojevic wrote:
> Hi Gilles,
> 
> thank you for your answers. I'm doing pretty much the same thing as I
> did on ARM platform - I'm using one of GPIO pins as Interrupt source.
> On ARM platform I was using one of the GPIO pins as IRQ 110, also
> without having it in /proc/interrupts.
> 
> Intel provides API (accessible through ioctl()) which I use to set
> GPIO pin (#25 in my case) in input mode and, as manual says, it can be
> used as Interrupt source (for #25 it says IRQ 38).
> 
> Sincerely,
> Bosko

The difference between ARM and x86 is that on ARM, all irqs are created
when the board support is initialized. From what I understand, on x86,
irqs are created when requested. Which is why for instance, you see that
PCI irqs are only routed when the PCI device is requested by a driver.
So, for the IRQ 38 to exist, you probably need to request it as if you
were going to use it on Linux side, then you may request it on Xenomai side.

-- 
                                                 Gilles.