int
main(void)
{
rtos_start();
/* Should never reach here, but if we do, an infinite loop is
easier to debug than returning somewhere random. */
for (;;) ;
}
int main()
{
tower_entry();
rtos_start();
for (;;)
;
return 0;
}
void main() {
debug_println("Starting system!");
smaccm_initialize_px4_systick_interrupt();
rtos_start();
}
