altos: Add generic LED driver.

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

diff --git a/src/kernel/ao_task.c b/src/kernel/ao_task.c
index 4f7072cb84bfbb26ce5d4ca2b193acaf960867e7..dc5c19132caeb121a21b5bbe0698da713a68c9d8 100644 (file)
--- a/src/kernel/ao_task.c
+++ b/src/kernel/ao_task.c
@@ -569,4 +569,5 @@ ao_start_scheduler(void)
        ao_arch_start_scheduler();
 #endif
        ao_yield();
+       __builtin_unreachable();
 }