Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 201abde2f6d30f23f1aab2b46d1a55da556278f1)
+++ kernel/arch/arm32/src/arm32.c	(revision ec5b3204bea6a5e739faf0a16fd8196042843095)
@@ -83,4 +83,10 @@
 }
 
+void arch_reboot(void)
+{
+	// TODO
+	while (1);
+}
+
 /** @}
  */