X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=src%2Fkernel%2Fao.h;h=5df4903cdd0084c7a977ccb19c2ebb76d2587c01;hp=be663775e91fab86eb119d7690a67fb961c7e1ff;hb=9df66f7589b663899e2c729b884eed4b64e5d4da;hpb=33ea5b3658377cea325db285a3e457724f660384

diff --git a/src/kernel/ao.h b/src/kernel/ao.h
index be663775..5df4903c 100644
--- a/src/kernel/ao.h
+++ b/src/kernel/ao.h
@@ -86,7 +86,7 @@ typedef AO_PORT_TYPE ao_port_t;
 
 /* 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