X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=src%2Fkernel%2Fao_task.c;h=dc5c19132caeb121a21b5bbe0698da713a68c9d8;hp=4f7072cb84bfbb26ce5d4ca2b193acaf960867e7;hb=2cdb1f30c49ba460b0850d23ba9c85e0336af290;hpb=c6e57291d91f1f6c4de5c54a5cfd3eef66d9f830

diff --git a/src/kernel/ao_task.c b/src/kernel/ao_task.c
index 4f7072cb..dc5c1913 100644
--- 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();
 }