Two platforms use the some kernel Deb, one works all for half a month, the other one can't boot up at all with the error meassage: init failed, -19.

Meng, Fino fino.meng at
Mon Jul 20 02:50:09 CEST 2020

>Sent: Sunday, July 19, 2020 2:27 PM
>Hi, list
>I build a kernel Deb with Xenomai-v3.1 and Linux-v4.19.84.
>But what confuses is that it works well on one platform whereas it causes the kernel failing to boot up(the error message:
>init failed:
>Could you please shed some light on this matter?

For boot up issue, the final weapon is Lautherbach T32,
these kind of hardware simulator can do hardware breakpoint after reboot,
And debug in single step with symbols loaded. 
but unfortunately most out of shelf uefi x86-64 board don't own JTAG interface. 
Then the traditional method is enable serial port and print more debug logs~ 

BR / Fino (孟祥夫)
Intel – IOTG Developer Enabling
>Thank you for your attention to this matter.

More information about the Xenomai mailing list