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;