Add stub for FS.FILO.Ext2
diff --git a/src/fs-filo-ext2.ads b/src/fs-filo-ext2.ads
new file mode 100644
index 0000000..d19a00f
--- /dev/null
+++ b/src/fs-filo-ext2.ads
@@ -0,0 +1,21 @@
+package FS.FILO.Ext2 is
+
+ Sane_And_Mounted : Boolean with Ghost; -- TODO: track what FS type is mounted in FS.FILO
+
+ procedure Mount (Success : out Boolean)
+ with
+ Post => (if Success then Sane_And_Mounted);
+
+ procedure Open (File_Path : String; Success : out Boolean)
+ with
+ Pre => Sane_And_Mounted;
+ procedure Close
+ with
+ Convention => C,
+ Pre => Sane_And_Mounted;
+
+ procedure Read (Buf : out Buffer_Type; Len : out Natural)
+ with
+ Pre => Sane_And_Mounted;
+
+end FS.FILO.Ext2;