Add stub for FS.FILO.Ext2
diff --git a/src/fs-filo-ext2.adb b/src/fs-filo-ext2.adb
new file mode 100644
index 0000000..df8525f
--- /dev/null
+++ b/src/fs-filo-ext2.adb
@@ -0,0 +1,28 @@
+with Interfaces;
+
+with FS.FILO.Dev;
+
+package body FS.FILO.Ext2 is
+
+ procedure Mount (Success : out Boolean)
+ is
+ begin
+ Success := False;
+ end Mount;
+
+ procedure Open (File_Path : String; Success : out Boolean)
+ is
+ begin
+ Success := False;
+ end Open;
+
+ procedure Close is null;
+
+ procedure Read (Buf : out Buffer_Type; Len : out Natural)
+ is
+ begin
+ Buf := (others => 16#00#);
+ Len := 0;
+ end Read;
+
+end 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;