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

1 files changed, 24 insertions, 0 deletions

diff --git a/module/itslib.m b/module/itslib.m
new file mode 100644
index 0000000..c104611
--- /dev/null
+++ b/module/itslib.m
@@ -0,0 +1,24 @@
+
+Itslib: module {
+
+	PATH: con "/dis/lib/itslib.dis";
+
+	init: fn(): ref Tconfig;
+ 	S_INFO: con 0;
+	S_WARN: con 1;
+	S_ERROR: con 2;
+	S_FATAL: con 3;
+	S_STIME: con 4;
+	S_ETIME: con 5;
+	ENV_VERBOSITY: con "ITS_VERBOSITY";
+	ENV_MFD: con "ITS_MFD";
+
+
+	Tconfig: adt {
+		verbosity: int;
+		mfd: ref Sys->FD;
+		report: fn(t: self ref Tconfig, sev: int, verb: int, msg: string);
+		done: fn(t: self ref Tconfig);
+	};
+
+};