[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