diff --git a/sched/sched/sched_processtimer.c b/sched/sched/sched_processtimer.c
index 21547fa735f..b24f2d28089 100644
--- a/sched/sched/sched_processtimer.c
+++ b/sched/sched/sched_processtimer.c
@@ -46,6 +46,10 @@
 #  include <nuttx/arch.h>
 #endif
 
+#ifdef CONFIG_SYSTEMTICK_HOOK
+#  include <nuttx/board.h>
+#endif
+
 #include "sched/sched.h"
 #include "wdog/wdog.h"
 #include "clock/clock.h"