[Xenomai] Xenomai/Ipipe on arm with LPAE enabled not booting

Gilles Chanteperdrix gilles.chanteperdrix at xenomai.org
Thu Aug 28 22:40:03 CEST 2014

On 08/28/2014 10:35 PM, Lennart Sorensen wrote:
> So I did some experiments on 3.12 kernel on an omap5726.
> Xenomai/ipipe seems to work great (after all it managed to pass the
> xenomai test suite).
> LPAE+KVM also works great.
> However if you enable LPAE (with or without KVM) while ipipe is enabled
> (with or without xenomai enabled), then the kernel never boots (no
> console messages at all).
> Any ideas where to start on debugging this problem?

Chances are high that the kernel starts booting, but encounters a 
problem before enabling the console. In order to get the traces, see:



More information about the Xenomai mailing list