/* Stop the operating system, beeping and blinking the reason */
void
-ao_panic(uint8_t reason);
+ao_panic(uint8_t reason) __attribute__((noreturn));
/*
* ao_romconfig.c
void
ao_delay(AO_TICK_TYPE ticks);
-void
-ao_delay_until(AO_TICK_TYPE target);
-
/* Set the ADC interval */
void
ao_timer_set_adc_interval(uint8_t interval);