Rename FS.FILO => FS.FILO.Dev
diff --git a/src/fs-filo.adb b/src/fs-filo-dev.adb
similarity index 93%
rename from src/fs-filo.adb
rename to src/fs-filo-dev.adb
index 591f321..f07bb28 100644
--- a/src/fs-filo.adb
+++ b/src/fs-filo-dev.adb
@@ -1,4 +1,4 @@
-package body FS.FILO is
+package body FS.FILO.Dev is
procedure Read
(Buffer : in out Buffer_Type;
@@ -16,5 +16,4 @@
--Success := To_Bool (C_devread (Sector, Byte_Offset, Byte_Len, Buffer'Address));
end Read;
-end FS.FILO;
-
+end FS.FILO.Dev;
diff --git a/src/fs-filo-dev.ads b/src/fs-filo-dev.ads
new file mode 100644
index 0000000..43a05ad
--- /dev/null
+++ b/src/fs-filo-dev.ads
@@ -0,0 +1,26 @@
+with Interfaces.C;
+with System;
+
+package FS.FILO.Dev 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 : System.Address)
+ return Interfaces.C.int
+ with
+ SPARK_Mode => Off,
+ Import => True,
+ Convention => C,
+ External_Name => "devopen";
+
+
+end FS.FILO.Dev;
diff --git a/src/fs-filo.ads b/src/fs-filo.ads
index 12132e3..4171b79 100644
--- a/src/fs-filo.ads
+++ b/src/fs-filo.ads
@@ -1,33 +1,3 @@
-with Interfaces.C;
-with System;
-
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 : System.Address)
- return Interfaces.C.int
- with
- SPARK_Mode => Off,
- Import => True,
- Convention => C,
- External_Name => "devopen";
-
-
end FS.FILO;
-
-
-
--- int mount (void)
--- int read (char* buf, int len)
--- int dir (char *dirname)
--- void close (void) // not implemented