I have compiled my kernel and it seems to register my ipipe with the correct frequency to the system and xenomai begins to start but then the system hard reboots and drops me back to u-boot.
Any idea where I should start? Pastebin of kernel boot: http://pastebin.com/NfJTk2WE _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
