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

Lennart Sorensen lsorense at csclub.uwaterloo.ca
Thu Aug 28 22:35:32 CEST 2014

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?

Len Sorensen

More information about the Xenomai mailing list