diff --git a/bsp/imx6ul/drivers/board.c b/bsp/imx6ul/drivers/board.c
index 8fbd9a349070ad27c96cd81e8efdbd48b4732c84..59c537d3288d0ce91596bb9a62cb850c0a5d0727 100644
--- a/bsp/imx6ul/drivers/board.c
+++ b/bsp/imx6ul/drivers/board.c
@@ -96,11 +96,6 @@ void rt_hw_board_init(void)
     rt_console_set_device(RT_CONSOLE_DEVICE_NAME);
 
     rt_thread_idle_sethook(idle_wfi);
-
-#ifdef RT_USING_SMP
-    /* install IPI handle */
-    rt_hw_ipi_handler_install(RT_SCHEDULE_IPI, rt_scheduler_ipi_handler);
-#endif
 }
 
 /*@}*/
diff --git a/bsp/imx6ul/drivers/imx6ul.h b/bsp/imx6ul/drivers/imx6ul.h
index b4ca6c810f01b28b8d61b41b91ae748bb76eef33..cf9e8f55b77507f219ecfc04480d8c03c943940d 100644
--- a/bsp/imx6ul/drivers/imx6ul.h
+++ b/bsp/imx6ul/drivers/imx6ul.h
@@ -61,9 +61,6 @@ rt_inline rt_uint32_t platform_get_gic_cpu_base(void)
 /* keep compatible with platform SDK */
 typedef enum {
     CPU_0,
-    CPU_1,
-    CPU_2,
-    CPU_3,
 } cpuid_e;
 
 enum _gicd_sgi_filter