----- Den 27 sep 2019, på kl 15:07, xenomai [email protected] skrev:
> On 26.09.19 17:47, Davy via Xenomai wrote:
> >> On 06.09.19 15:38, [email protected] wrote:
> >>> Hi Jan,
> >>> Thank you for your quick reply. If I want to use the last stable release
> >>> xenomai which kernel release I need to use ?
> >> We will soon release 3.1, then you can use 4.19 with an officially stable
> >> baseline. If you start now, that combination will have been released when
> >> you
> >> are done - unless you really need to release "tomorrow".
> >> Jan
> >> --
> >> Siemens AG, Corporate Technology, CT RDA IOT SES-DE
> >> Corporate Competence Center Embedded Linux
> > Hi,
> > Thanks for Xenomai 3.1.
> > I compliled the linux kernel 4.19.66 with xenomai 3.1-rc1. No errors
> > appeared during it.
> > When I try to boot with it I get stuck with the error :
> > can't find IRQ for PCI INT A; probably buggy MP table
I recognize this, and I think I recall that I only had it on one of our
hardware platforms. As I recall i read something about it being MSI-related.
You could try turning off MSI at kernel boot using "pci=nomsi"
Per Öberg
> > I attach a image of the last messages before the freeze.
> > Do you have any idea how do I can fix this ?
> > I also send my .config
> Does the error disappear when you disable Xenomai and I-pipe in the kernel
> configuration?
> Jan
