From 360e3c03b6732fd2f557711455617bf3dd0dab7f Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Tue, 1 Dec 2015 13:41:24 +0100
Subject: [PATCH] Krait: Add missing header

---
 src/modules/muorb/krait/uORBKraitFastRpcChannel.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/modules/muorb/krait/uORBKraitFastRpcChannel.cpp b/src/modules/muorb/krait/uORBKraitFastRpcChannel.cpp
index 6e53f0bbfd..736bb3eefe 100644
--- a/src/modules/muorb/krait/uORBKraitFastRpcChannel.cpp
+++ b/src/modules/muorb/krait/uORBKraitFastRpcChannel.cpp
@@ -36,6 +36,10 @@
 #include "px4_tasks.h"
 #include <drivers/drv_hrt.h>
 #include <cstdio>
+#ifdef __PX4_LINUX
+#define _GNU_SOURCE
+#endif
+#include <pthread.h>
 
 #define LOG_TAG "uORBKraitFastRpcChannel.cpp"