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

1 files changed, 25 insertions, 0 deletions

diff --git a/module/filter.m b/module/filter.m
new file mode 100644
index 0000000..bd9fdb5
--- /dev/null
+++ b/module/filter.m
@@ -0,0 +1,25 @@
+Filter: module
+{
+	DEFLATEPATH: con "/dis/lib/deflate.dis";
+	INFLATEPATH: con "/dis/lib/inflate.dis";
+	SLIPPATH: con "/dis/lib/slip.dis";
+
+	Rq: adt {
+		pick {
+		Start =>
+			pid: int;
+		Fill or Result =>
+			buf: array of byte;
+			reply: chan of int;
+		Info =>
+			msg: string;
+		Finished =>
+			buf: array of byte;
+		Error =>
+			e: string;
+		}
+	};
+
+	init: fn();
+	start: fn(param: string): chan of ref Rq;
+};