The first patches merge the FAT support with the existing interface and file systems (native and semihosting) and add two tests for FAT using a disk image.
The second part creates a "front-end" interface to read/write files. We realized in the past that it's difficult to have a good file-system driver interface (HAL.Filesystem) that would also be user friendly, in particular with regards to the handling of handles and their deallocation (#68). The front-end interface is somewhat similar to Ada.Text_IO or GNAT.OS_Lib except that standard Ada.Text_IO* rely a lot on exception which are not always available or desirable in our case.
The first patches merge the FAT support with the existing interface and file systems (native and semihosting) and add two tests for FAT using a disk image.
The second part creates a "front-end" interface to read/write files. We realized in the past that it's difficult to have a good file-system driver interface (HAL.Filesystem) that would also be user friendly, in particular with regards to the handling of handles and their deallocation (#68). The front-end interface is somewhat similar to Ada.Text_IO or GNAT.OS_Lib except that standard Ada.Text_IO* rely a lot on exception which are not always available or desirable in our case.
There's also the beginning of a documentation.