diff --git a/targets/RT/USER/rt_wrapper.h b/targets/RT/USER/rt_wrapper.h
index faf557e285..2896baebd1 100644
--- a/targets/RT/USER/rt_wrapper.h
+++ b/targets/RT/USER/rt_wrapper.h
@@ -55,6 +55,7 @@ int rt_sleep_ns (RTIME x);
 void check_clock(void);
 
 #else
+#include <rtai_hal.h>
 #include <rtai_lxrt.h>
 #include <rtai_sem.h>
 #include <rtai_msg.h>