altos: Add generic LED driver.

[fw/altos] / src / kernel / ao_task.h

diff --git a/src/kernel/ao_task.h b/src/kernel/ao_task.h
index ffeb7313ba423af2c55cd052c6728ef4d48eb896..f3789fa2cd2725a6fd3207561e124263815ed530 100644 (file)
--- a/src/kernel/ao_task.h
+++ b/src/kernel/ao_task.h
@@ -134,7 +134,7 @@ ao_task_info(void);
 
 /* Start the scheduler. This will not return */
 void
-ao_start_scheduler(void);
+ao_start_scheduler(void) __attribute__((noreturn));
 
 #if HAS_TASK_QUEUE
 void