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/ida.m b/module/ida.m
new file mode 100644
index 0000000..f2503dd
--- /dev/null
+++ b/module/ida.m
@@ -0,0 +1,24 @@
+Ida: module
+{
+	PATH: con "/dis/lib/ida/ida.dis";
+
+	Frag: adt {
+		dlen:	int;	# length of original data
+		m:	int;	# minimum pieces for reconstruction
+		a:	array of int;	# encoding array row for this fragment
+		enc:	array of int;	# encoded data
+
+		tag:	array of byte;	# user data, such as SHA1 hash
+	};
+
+	init:	fn();
+	fragment:	fn(data: array of byte, m: int): ref Frag;
+	consistent:	fn(frags: array of ref Frag): array of ref Frag;
+	reconstruct:	fn(frags: array of ref Frag): (array of byte, string);
+};
+
+Idatab: module
+{
+	PATH: con "/dis/lib/ida/idatab.dis";
+	init:	fn(): array of int;
+};