Test env to develop FILO filesystem drivers in Ada
diff --git a/src/fs-filo.ads b/src/fs-filo.ads
new file mode 100644
index 0000000..43b6cef
--- /dev/null
+++ b/src/fs-filo.ads
@@ -0,0 +1,31 @@
+with Interfaces.C;
+
+package FS.FILO is
+
+ Procedure Read
+ (Buffer : in out Buffer_Type;
+ Offset : in Natural;
+ Success : out Boolean);
+
+private
+
+ function C_devread
+ (sector : Interfaces.C.unsigned_long;
+ byte_offset : Interfaces.C.unsigned_long;
+ byte_len : Interfaces.C.unsigned_long;
+ buf : ... )
+ return Interfaces.C.int
+ with
+ SPARK_Mode => Off,
+ Import => True,
+ Conversion => C;
+
+
+end FS.FILO;
+
+
+
+-- int mount (void)
+-- int read (char* buf, int len)
+-- int dir (char *dirname)
+-- void close (void) // not implemented