inferno-os tree was separated from the inferno-os-android (separated from the Android driver)

1 files changed, 13 insertions, 0 deletions

diff --git a/module/lock.m b/module/lock.m
new file mode 100644
index 0000000..ffd818c
--- /dev/null
+++ b/module/lock.m
@@ -0,0 +1,13 @@
+Lock: module
+{
+	PATH:	con "/dis/lib/lock.dis";
+
+	Semaphore: adt {
+		c: chan of int;
+		obtain:	fn(nil: self ref Semaphore);
+		release: fn(nil: self ref Semaphore);
+		new: fn(): ref Semaphore;
+	};
+	
+	init: fn();
+};