diff --git a/src/platforms/px4_workqueue.h b/src/platforms/px4_workqueue.h
index 76e1218ba5..79162e3f6b 100644
--- a/src/platforms/px4_workqueue.h
+++ b/src/platforms/px4_workqueue.h
@@ -47,10 +47,6 @@
 #include <queue.h>
 #include <px4_platform_types.h>
 
-#ifdef __PX4_QURT
-   #include <dspal_types.h>
-#endif
-
 __BEGIN_DECLS
 
 #define HPWORK 0