diff --git a/src/platform/imx8/platform.c b/src/platform/imx8/platform.c
index f1b57c3e386f..50d6bb4f4ac6 100644
--- a/src/platform/imx8/platform.c
+++ b/src/platform/imx8/platform.c
@@ -4,36 +4,15 @@
 //
 // Author: Daniel Baluta <daniel.baluta@nxp.com>
 
-#include <sof/compiler_info.h>
 #include <sof/debug/debug.h>
-#include <sof/drivers/edma.h>
-#include <rtos/interrupt.h>
-#include <sof/ipc/driver.h>
-#include <sof/drivers/mu.h>
-#include <rtos/timer.h>
-#include <sof/fw-ready-metadata.h>
-#include <sof/lib/agent.h>
-#include <rtos/clk.h>
-#include <sof/lib/cpu.h>
 #include <sof/lib/dai.h>
 #include <sof/lib/dma.h>
-#include <sof/lib/mailbox.h>
-#include <sof/lib/memory.h>
-#include <sof/lib/mm_heap.h>
-#include <sof/platform.h>
 #include <sof/schedule/edf_schedule.h>
 #include <sof/schedule/ll_schedule.h>
 #include <sof/schedule/ll_schedule_domain.h>
-#include <rtos/sof.h>
-#include <sof/trace/dma-trace.h>
-#include <ipc/dai.h>
-#include <ipc/header.h>
-#include <ipc/info.h>
 #include <kernel/abi.h>
 #include <kernel/ext_manifest.h>
 #include <sof_versions.h>
-#include <errno.h>
-#include <stdint.h>
 
 struct sof;
 
@@ -128,13 +107,6 @@ const struct ext_man_windows xsram_window
 	}
 };
 
-#ifndef __ZEPHYR__
-static SHARED_DATA struct timer timer_shared = {
-	.id = TIMER0, /* internal timer */
-	.irq = IRQ_NUM_TIMER0,
-};
-#endif
-
 int platform_boot_complete(uint32_t boot_message)
 {
 	mailbox_dspbox_write(0, &ready, sizeof(ready));
@@ -155,12 +127,6 @@ int platform_init(struct sof *sof)
 {
 	int ret;
 
-#ifndef __ZEPHYR__
-	sof->platform_timer = platform_shared_get(&timer_shared, sizeof(timer_shared));
-	sof->cpu_timers = sof->platform_timer;
-#endif
-
-	platform_interrupt_init();
 	platform_clock_init(sof);
 	scheduler_init_edf();
 
@@ -169,12 +135,6 @@ int platform_init(struct sof *sof)
 		timer_domain_init(sof->platform_timer, PLATFORM_DEFAULT_CLOCK);
 	scheduler_init_ll(sof->platform_timer_domain);
 
-#ifndef __ZEPHYR__
-	platform_timer_start(sof->platform_timer);
-#endif
-
-	sa_init(sof, CONFIG_SYSTICK_PERIOD);
-
 	clock_set_freq(CLK_CPU(cpu_get_id()), CLK_MAX_CPU_HZ);
 
 	/* init DMA */
@@ -189,15 +149,6 @@ int platform_init(struct sof *sof)
 	if (ret < 0)
 		return -ENODEV;
 
-#if CONFIG_TRACE
-	/* Initialize DMA for Trace*/
-	trace_point(TRACE_BOOT_PLATFORM_DMA_TRACE);
-	dma_trace_init_complete(sof->dmat);
-#endif
-
-	/* show heap status */
-	heap_trace_all(1);
-
 	return 0;
 }
 
@@ -205,10 +156,3 @@ int platform_context_save(struct sof *sof)
 {
 	return 0;
 }
-
-#ifndef __ZEPHYR__
-void platform_wait_for_interrupt(int level)
-{
-	arch_wait_for_interrupt(level);
-}
-#endif