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 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
