[Xenomai] Xenomai/Ipipe on arm with LPAE enabled not booting
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?
More information about the Xenomai