Index: kernel/arch/abs32le/include/asm.h
===================================================================
--- kernel/arch/abs32le/include/asm.h	(revision c1d354979b0e891f4be092b5abd830b8b06f53f4)
+++ kernel/arch/abs32le/include/asm.h	(revision 472c09d5893ee3d91337e6bd2fdda63fdbe11301)
@@ -49,5 +49,5 @@
 
 
-static inline void cpu_halt(void)
+static inline __attribute__((noreturn)) void cpu_halt(void)
 {
 	/* On real hardware this should stop processing further