diff --git a/platform/hermit/pte_osal.c b/platform/hermit/pte_osal.c
index 1c7cfba..5fec026 100644
--- a/platform/hermit/pte_osal.c
+++ b/platform/hermit/pte_osal.c
@@ -404,7 +404,7 @@ pte_osResult pte_osMutexCreate(pte_osMutexHandle *pHandle)
 
 pte_osResult pte_osMutexDelete(pte_osMutexHandle handle)
 {
-  if (sys_sem_destroy(handle))
+  if (sys_sem_destroy(&handle))
     return PTE_OS_NO_RESOURCES;
 
   return PTE_OS_OK;
@@ -412,7 +412,7 @@ pte_osResult pte_osMutexDelete(pte_osMutexHandle handle)
 
 pte_osResult pte_osMutexLock(pte_osMutexHandle handle)
 {
-  if (sys_sem_wait(handle))
+  if (sys_sem_wait(&handle))
     return PTE_OS_NO_RESOURCES;
 
   return PTE_OS_OK;
@@ -420,7 +420,7 @@ pte_osResult pte_osMutexLock(pte_osMutexHandle handle)
 
 pte_osResult pte_osMutexTimedLock(pte_osMutexHandle handle, unsigned int timeoutMsecs)
 {
-  if (sys_sem_timedwait(handle, timeoutMsecs))
+  if (sys_sem_timedwait(&handle, timeoutMsecs))
     return PTE_OS_TIMEOUT;
 
   return PTE_OS_OK;
@@ -428,7 +428,7 @@ pte_osResult pte_osMutexTimedLock(pte_osMutexHandle handle, unsigned int timeout
 
 pte_osResult pte_osMutexUnlock(pte_osMutexHandle handle)
 {
-  if (sys_sem_post(handle))
+  if (sys_sem_post(&handle))
     return PTE_OS_NO_RESOURCES;
 
   return PTE_OS_OK;
@@ -442,6 +442,7 @@ pte_osResult pte_osMutexUnlock(pte_osMutexHandle handle)
 
 pte_osResult pte_osSemaphoreCreate(int initialValue, pte_osSemaphoreHandle *pHandle)
 {
+
   if (sys_sem_init(pHandle, 0, initialValue))
     return PTE_OS_NO_RESOURCES;
 
@@ -450,7 +451,7 @@ pte_osResult pte_osSemaphoreCreate(int initialValue, pte_osSemaphoreHandle *pHan
 
 pte_osResult pte_osSemaphoreDelete(pte_osSemaphoreHandle handle)
 {
-  if (sys_sem_destroy(handle))
+  if (sys_sem_destroy(&handle))
     return PTE_OS_NO_RESOURCES;
 
   return PTE_OS_OK;
@@ -461,7 +462,7 @@ pte_osResult pte_osSemaphorePost(pte_osSemaphoreHandle handle, int count)
   int i;
 
   for (i=0; i<count; i++) {
-    if (sys_sem_post(handle)) {
+    if (sys_sem_post(&handle)) {
        return PTE_OS_NO_RESOURCES;
     }
   }
@@ -471,11 +472,11 @@ pte_osResult pte_osSemaphorePost(pte_osSemaphoreHandle handle, int count)
 pte_osResult pte_osSemaphorePend(pte_osSemaphoreHandle handle, unsigned int *pTimeoutMsecs)
 {
   if (pTimeoutMsecs && *pTimeoutMsecs) {
-    if (sys_sem_timedwait(handle, *pTimeoutMsecs)) {
+    if (sys_sem_timedwait(&handle, *pTimeoutMsecs)) {
       return PTE_OS_TIMEOUT;
     }
   } else {
-    if (sys_sem_wait(handle)) {
+    if (sys_sem_wait(&handle)) {
       return PTE_OS_NO_RESOURCES;
     }
   }
@@ -494,7 +495,7 @@ pte_osResult pte_osSemaphoreCancellablePend(pte_osSemaphoreHandle semHandle, uns
 
   if (pTimeout)
     msec = *pTimeout;
-  ret = sys_sem_timedwait(semHandle, msec);
+  ret = sys_sem_timedwait(&semHandle, msec);
 
   if (ret == -ETIME)
     return PTE_OS_TIMEOUT;
diff --git a/platform/hermit/pte_osal.h b/platform/hermit/pte_osal.h
index 791bd6e..f7b5530 100644
--- a/platform/hermit/pte_osal.h
+++ b/platform/hermit/pte_osal.h
@@ -6,8 +6,8 @@
 #include "syscall.h"
 
 typedef void* pte_osThreadHandle;
-typedef HermitSemaphore* pte_osSemaphoreHandle;
-typedef HermitSemaphore* pte_osMutexHandle;
+typedef HermitSemaphore pte_osSemaphoreHandle;
+typedef HermitSemaphore pte_osMutexHandle;
 
 #define OS_MAX_SIMUL_THREADS 32
 #define OS_DEFAULT_PRIO 8
diff --git a/platform/hermit/syscall.h b/platform/hermit/syscall.h
index 05ac045..38e23b8 100644
--- a/platform/hermit/syscall.h
+++ b/platform/hermit/syscall.h
@@ -58,8 +58,7 @@ extern "C" {
 struct _HermitRecursiveMutex;
 typedef struct _HermitRecursiveMutex HermitRecursiveMutex;
 
-struct _HermitSemaphore;
-typedef struct _HermitSemaphore HermitSemaphore;
+typedef void* HermitSemaphore;
 
 struct _HermitSpinlock;
 typedef struct _HermitSpinlock HermitSpinlock;
@@ -113,11 +112,11 @@ int sys_recmutex_init(HermitRecursiveMutex** recmutex);
 int sys_recmutex_destroy(HermitRecursiveMutex* recmutex);
 int sys_recmutex_lock(HermitRecursiveMutex* recmutex);
 int sys_recmutex_unlock(HermitRecursiveMutex* recmutex);
-int sys_sem_init(HermitSemaphore** sem, unsigned int pshared, unsigned int value);
+int sys_sem_init(HermitSemaphore* sem, unsigned int pshared, unsigned int value);
 int sys_sem_destroy(HermitSemaphore* sem);
 int sys_sem_post(HermitSemaphore* sem);
 int sys_sem_trywait(HermitSemaphore* sem);
-int sys_sem_timedwait(HermitSemaphore *sem, unsigned int ms);
+int sys_sem_timedwait(HermitSemaphore* sem, unsigned int ms);
 #define sys_sem_wait(sem)	sys_sem_timedwait(sem, 0)
 int sys_sem_timedwait(HermitSemaphore* sem, unsigned int ms);
 int sys_spinlock_init(HermitSpinlock** lock);