diff --git a/src/drivers/boards/px4nucleoF767ZI-v1/px4nucleo_init.c b/src/drivers/boards/px4nucleoF767ZI-v1/px4nucleo_init.c
index 1333601b9ae..8d675becf34 100644
--- a/src/drivers/boards/px4nucleoF767ZI-v1/px4nucleo_init.c
+++ b/src/drivers/boards/px4nucleoF767ZI-v1/px4nucleo_init.c
@@ -46,6 +46,7 @@
  ****************************************************************************/
 
 #include <px4_config.h>
+#include <px4_tasks.h>
 
 #include <stdbool.h>
 #include <stdio.h>