--- a/GDBPortlib.st Fri Aug 18 14:10:59 2023 +0100
+++ b/GDBPortlib.st Fri Aug 18 14:25:54 2023 +0100
@@ -146,6 +146,20 @@
^ NonPositionableExternalStream makePipe
! !
+!GDBPortlib methodsFor:'synchronization'!
+
+newMutex
+ ^ Semaphore forMutualExclusion
+
+ "Created: / 18-08-2023 / 14:17:36 / Jan Vrany <jan.vrany@labware.com>"
+!
+
+newSemaphore
+ ^ Semaphore new
+
+ "Created: / 18-08-2023 / 14:16:31 / Jan Vrany <jan.vrany@labware.com>"
+! !
+
!GDBPortlib methodsFor:'user interface'!
newCLI: aGDBDebugger