On Sat, Apr 09, 2011 at 08:41:22PM +0200, Richard Cochran wrote: > > I tried disabling various CONFIG options, and I found by accident that > enabling IPIPE_DEBUG allows the system to run just fine.
Update: It is not enough for me to enable IPIPE_DEBUG. The kernels that boot have all of the XENO_OPT_DEBUG options enabled. Disabling XENO_OPT_DEBUG results in a kernel that freezes. I will try to find out which of these options makes a difference. Thanks, Richard _______________________________________________ Xenomai-core mailing list Xenomai-core@gna.org https://mail.gna.org/listinfo/xenomai-core