Hi Gilles, > If you have lockdep enabled, you should disable it, as it currently > does not work with xenomai on arm.
lockdep is disabled in my kernel config. Regards, Christoph _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
