From f153e9b024c7ca2aba660005fdab08897e3f7855 Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lorenz@px4.io>
Date: Tue, 27 Dec 2016 20:01:36 +0100
Subject: [PATCH] Nucleo board config: Add px4_tasks header

---
 src/drivers/boards/px4nucleoF767ZI-v1/px4nucleo_init.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/drivers/boards/px4nucleoF767ZI-v1/px4nucleo_init.c b/src/drivers/boards/px4nucleoF767ZI-v1/px4nucleo_init.c
index 1333601b9a..8d675becf3 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>