port/moonlight/src/bootup.c

@@ -124,5 +124,7 @@ void _exit(int exit_code) {
     // Halt
     while (1) {
         __asm__ volatile ("wfi");
+        // Incase periodic interrupts are scheduled (e.g. timer), additionaly jump to self
+        for (;;);
     }
 }