Index: kernel/arch/arm32/include/asm.h
===================================================================
--- kernel/arch/arm32/include/asm.h	(revision 83c597388d81b72286052db6306f7361e42162aa)
+++ kernel/arch/arm32/include/asm.h	(revision 4cac2d69158253d6b2ffb0a43fa4dc39390f104f)
@@ -96,5 +96,5 @@
 }
 
-extern void cpu_halt(void);
+extern void cpu_halt(void) __attribute__((noreturn));
 extern void asm_delay_loop(uint32_t t);
 extern void userspace_asm(uintptr_t ustack, uintptr_t uspace_uarg,