diff --git a/sys/kern/semaphore.c b/sys/kern/semaphore.c
index 0acd2f0..1d91bbb 100644
--- a/sys/kern/semaphore.c
+++ b/sys/kern/semaphore.c
@@ -37,6 +37,8 @@ Semaphore_Destroy(Semaphore *sema)
     Spinlock_Lock(&semaListLock);
     LIST_REMOVE(sema, semaphoreList);
     Spinlock_Unlock(&semaListLock);
+
+    Spinlock_Destroy(&sema->lock);
 }
 
 void