+#if (platform == tilaunchpad)
+ int ret=0;
+
+ //ret = setjmp(warmstart);// needs to be here since context from init() would be gone
+ warmstart:
+ if (ret == 0) {
+ coldstart(); // basic hardware setup, clock to TUSB3410, and enable
+ } else if (ret == 2) {
+ dputs("\nalmost BSL only one RTS change\n");
+ } else if (ret > 2) { // reset released after more than two tst transisitions
+ // We could write a BSL, a nice exercise for a Sunday afternoon.
+ dputs("\nBSL\n");
+ //call_BSL(); // once you are done uncomment ;-)
+ } else { // we come here after DTR high (release reset)
+ dputs("\nWarmstart\n");
+ }
+#elif (platform == donbfet)
+ extern void donbfet_reboot(void);
+ void (*reboot_function)(void) = donbfet_reboot;
+#else