> 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 Regards, Davy -------------- next part -------------- A non-text attachment was scrubbed... Name: boot.jpg Type: image/jpeg Size: 240953 bytes Desc: not available URL: <http://xenomai.org/pipermail/xenomai/attachments/20190926/a2bcfa70/attachment.jpg> -------------- next part -------------- A non-text attachment was scrubbed... Name: config Type: application/octet-stream Size: 193837 bytes Desc: not available URL: <http://xenomai.org/pipermail/xenomai/attachments/20190926/a2bcfa70/attachment.obj>
