From fe93113240b072006596bd4bd81f62e0cc983150 Mon Sep 17 00:00:00 2001
From: Andrew Tridgell <andrew@tridgell.net>
Date: Tue, 7 Aug 2018 16:39:42 +1000
Subject: [PATCH] HAL_PX4: added support for HAL_Semaphore type

---
 libraries/AP_HAL_PX4/Semaphores.h | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/libraries/AP_HAL_PX4/Semaphores.h b/libraries/AP_HAL_PX4/Semaphores.h
index 3e16f81515..59300889bb 100644
--- a/libraries/AP_HAL_PX4/Semaphores.h
+++ b/libraries/AP_HAL_PX4/Semaphores.h
@@ -1,9 +1,10 @@
 #pragma once
 
 #include <AP_HAL/AP_HAL_Boards.h>
-
-#if CONFIG_HAL_BOARD == HAL_BOARD_PX4
-#include "AP_HAL_PX4.h"
+#include <stdint.h>
+#include <AP_HAL/AP_HAL_Macros.h>
+#include <AP_HAL/Semaphores.h>
+#include "AP_HAL_PX4_Namespace.h"
 #include <pthread.h>
 
 class PX4::Semaphore : public AP_HAL::Semaphore {
@@ -17,4 +18,4 @@ public:
 private:
     pthread_mutex_t _lock;
 };
-#endif // CONFIG_HAL_BOARD
+