From 9416ae670bb05cf88767061789394b214d563665 Mon Sep 17 00:00:00 2001
From: David Sidrane <david_s5@nscdg.com>
Date: Wed, 18 Jan 2017 10:35:53 -1000
Subject: [PATCH] Bring the board config into drv_gpio under nuttx

---
 src/drivers/drv_gpio.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/drivers/drv_gpio.h b/src/drivers/drv_gpio.h
index 5a54774831..dc0f695203 100644
--- a/src/drivers/drv_gpio.h
+++ b/src/drivers/drv_gpio.h
@@ -40,6 +40,8 @@
 #ifndef _DRV_GPIO_H
 #define _DRV_GPIO_H
 
+#include <px4_config.h>
+
 #include <sys/ioctl.h>
 
 /**