int main(void) { led__init(); schedule(); for(;;) { if (timer0__overflow__interrupt__pending__get()) { timer0__overflow__interrupt__pending__clear(); timer0__conf__set(TIMER0_CONF_DEFAULT); led__toggle(); schedule(); } } }
/** Check whether the thread can be scheduled (applicable only if the thread is alive) */ bool onewire__thread__is_runnable(void) { return timer0__overflow__interrupt__pending__get(); }
bool temperature_reader__thread__is_runnable(void) { return timer0__overflow__interrupt__pending__get(); }