Philippe, >> I tried! Attached the patch I used. Since teh scheduler hangs I can't use >> normal printk(), right? >> >> *ipipe_current_domain != ipipe_root_domain ! >> *ipipe_current_domain = c01fc2c0 >> *ipipe_root_domain = c01af2c0 >> >> But I don't get the output of __backtrace()! > > Before calling your backtrace helper, try adding: > > ipipe_set_printk_sync(ipipe_current_domain);
And then use printk() instead of my_printk()? Steven _______________________________________________ Xenomai-core mailing list Xenomai-core@gna.org https://mail.gna.org/listinfo/xenomai-core