diff --git a/repos/app-file.ads b/repos/app-file.ads
deleted file mode 100644
index c9dadbcc3a..0000000000
--- a/repos/app-file.ads
+++ /dev/null
@@ -1,16 +0,0 @@
-pragma Ada_2012;
-
-package App.File with Spark_Mode is
-   
-   type Chunk_Number_Type is new Integer;
-   type Chunk_Type        is array (Positive range 1..4096) of Byte;
-
-   procedure Read(Offset      : in     Offset_Type;
-                  Destination : in out Chunk_Type;
-                  Size        : in     Size_Type)
-     with
-       import,
-       convention => c,
-       external_name => "c_genode_file_read";
-   
-end App.File;
diff --git a/repos/app-file_cache.adb b/repos/app-file_cache.adb
deleted file mode 100644
index 474381d875..0000000000
--- a/repos/app-file_cache.adb
+++ /dev/null
@@ -1,40 +0,0 @@
-pragma Ada_2012;
-
-with App.File;
-
-use type App.File.Chunk_Number_Type;
-
-package body App.File_Cache with Spark_Mode is
-
-   procedure Read_Chunk(Object_Private : in out Object_Private_Type;
-                        Object_Public  : in out Object_Public_Type;
-                        Chunk_Number   : in     File.Chunk_Number_Type;
-                        Chunk_In_Slot  : out    Boolean;
-                        Slot_Index     : out    Slot_Array_Index_Type)
-   is
---      Object_Public.Slot_Array(1)'Address
-   begin
-      
-      Object_Private.Slot_Array_Last_Index := 1;
-      Object_Public.Slot_Array(1)(1) := 0; 
-      Chunk_In_Slot := False;
-      Slot_Index := 1;
-      
-      Slot_Array_Loop : for Index in Object_Private.Slot_Array'Range loop
-         if Object_Private.Slot_Array(Index).Chunk_Number = Chunk_Number then
-            Chunk_In_Slot := True;
-            Slot_Index := Index;
-            exit Slot_Array_Loop;
-         end if;
-      end loop Slot_Array_Loop;
-      
-      if not Chunk_In_Slot then
-          Log("Chunk in Slot");
---         File.Read(0, , Chunk_Type'Size / Byte'Size);
-      else  
-         Log("Chunk not in Slot");
-      end if;
-        
-   end Read_Chunk;
-
-end App.File_Cache;
diff --git a/repos/app-file_cache.ads b/repos/app-file_cache.ads
deleted file mode 100644
index 84f1534b8f..0000000000
--- a/repos/app-file_cache.ads
+++ /dev/null
@@ -1,35 +0,0 @@
-pragma Ada_2012;
-
-with App.File;
-
-
-package App.File_Cache with Spark_Mode is
-   
-   type Slot_Array_Index_Type  is new Positive range 1..128;
-   type Slot_Array_Public_Type is array (Slot_Array_Index_Type) of File.Chunk_Type;
-   
-   type Object_Private_Type is private;
-   type Object_Public_Type  is record
-      Slot_Array : Slot_Array_Public_Type;
-   end record;
-   
-   procedure Read_Chunk(Object_Private : in out Object_Private_Type;
-                        Object_Public  : in out Object_Public_Type;
-                        Chunk_Number   : in     File.Chunk_Number_Type;
-                        Chunk_In_Slot  : out    Boolean;
-                        Slot_Index     : out    Slot_Array_Index_Type);
-   
-private
-   
-   type Slot_Type is record
-      Used         : Boolean           := False;
-      Chunk_Number : File.Chunk_Number_Type := 0;
-   end record;
-   
-   type Slot_Array_Private_Type is array (Slot_Array_Index_Type) of Slot_Type;
-   type Object_Private_Type is record
-      Slot_Array_Last_Index : Slot_Array_Index_Type;
-      Slot_Array            : Slot_Array_Private_Type;
-   end record;
-   
-end App.File_Cache;