diff --git a/src/fsfw/osal/rtems/BinarySemaphore.cpp b/src/fsfw/osal/rtems/BinarySemaphore.cpp
index f9db1009a..6d145d983 100644
--- a/src/fsfw/osal/rtems/BinarySemaphore.cpp
+++ b/src/fsfw/osal/rtems/BinarySemaphore.cpp
@@ -1,4 +1,4 @@
-#include "fsfw/osal/rtems/BinarySemaphore.h"
+#include "BinarySemaphore.h"
 
 #include <rtems/rtems/sem.h>
 
@@ -9,7 +9,6 @@ BinarySemaphore::~BinarySemaphore() {
 
 }
 
-// Interface implementation
 ReturnValue_t BinarySemaphore::acquire(TimeoutType timeoutType, uint32_t timeoutMs) {
     return HasReturnvaluesIF::RETURN_OK;
 }
diff --git a/src/fsfw/osal/rtems/BinarySemaphore.h b/src/fsfw/osal/rtems/BinarySemaphore.h
new file mode 100644
index 000000000..a2796af1b
--- /dev/null
+++ b/src/fsfw/osal/rtems/BinarySemaphore.h
@@ -0,0 +1,23 @@
+#ifndef FSFW_OSAL_RTEMS_BINARYSEMAPHORE_H_
+#define FSFW_OSAL_RTEMS_BINARYSEMAPHORE_H_
+
+#include "fsfw/tasks/SemaphoreIF.h"
+
+class BinarySemaphore: public SemaphoreIF {
+public:
+    BinarySemaphore();
+    virtual ~BinarySemaphore();
+
+    // Semaphore IF implementations
+    ReturnValue_t acquire(TimeoutType timeoutType =
+            TimeoutType::BLOCKING, uint32_t timeoutMs = 0) override;
+    ReturnValue_t release() override;
+    uint8_t getSemaphoreCounter() const override;
+
+private:
+
+};
+
+
+
+#endif /* FSFW_SRC_FSFW_OSAL_RTEMS_BINARYSEMAPHORE_H_ */