diff --git a/tests/kernel/context/src/main.c b/tests/kernel/context/src/main.c index c5e65453af3..cc6559fdea8 100644 --- a/tests/kernel/context/src/main.c +++ b/tests/kernel/context/src/main.c @@ -26,11 +26,8 @@ #include #include -/* - * Include soc.h from platform to get IRQ number. - * NOTE: Cortex-M does not need IRQ numbers - */ -#if !defined(CONFIG_CPU_CORTEX_M) && !defined(CONFIG_XTENSA) +#if defined(CONFIG_SOC_POSIX) || defined(CONFIG_ARC) +/* TIMER_TICK_IRQ header for certain platforms */ #include #endif