@@ -84,7 +84,7 @@ void rt_hw_board_init(void)
rt_hw_uart_init();
rt_console_set_device(RT_CONSOLE_DEVICE_NAME);
-#ifdef RT_USING_FDT
+#if defined(RT_USING_FDT) && defined(RT_USING_SMP)
// TODO 0x44000000 should be replace by a variable
void * fdt_start = (void *)0x44000000 - PV_OFFSET;
device_tree_setup(fdt_start);
@@ -302,8 +302,6 @@ int rt_hw_cpu_boot_secondary(int num_cpus, rt_uint64_t *cpu_hw_ids, struct cpu_o
return retval;
}
-#endif /*RT_USING_SMP*/
-
#define CPU_INIT_USING_FDT 0,0,0
/**
@@ -321,6 +319,8 @@ int rt_hw_cpu_init()
#endif /* RT_USING_FDT */
+#endif /*RT_USING_SMP*/
+
* @addtogroup ARM CPU
*/