diff --git a/arch/arm/src/qemu/qemu_cpuboot.c b/arch/arm/src/qemu/qemu_cpuboot.c
index 7438b5b19e5..8bfd61b0b51 100644
--- a/arch/arm/src/qemu/qemu_cpuboot.c
+++ b/arch/arm/src/qemu/qemu_cpuboot.c
@@ -31,6 +31,7 @@
 #include <nuttx/sched.h>
 #include <arch/irq.h>
 
+#include "init/init.h"
 #include "arm_internal.h"
 #include "sctlr.h"
 #include "scu.h"
@@ -107,14 +108,8 @@ void arm_cpu_boot(int cpu)
   up_irq_enable();
 #endif
 
-  /* The next thing that we expect to happen is for logic running on CPU0
-   * to call up_cpu_start() which generate an SGI and a context switch to
-   * the configured NuttX IDLE task.
-   */
+  /* Then transfer control to the IDLE task */
 
-  for (; ; )
-    {
-      asm("WFI");
-    }
+  nx_idle_trampoline();
 }
 #endif /* CONFIG_SMP */