add `Fat.KV_RO` which is a read-only subset of the filesystem.
Regenerate OASIS files with 0.4.0
bump to 0.9.0
Generate annot, bin_annot files and ensure principal typing
Travis: add cmdliner
Travis: further missing deps
Merge pull request #20 from avsm/add_kvro

Add V1.KV_RO interface
Use buffered I/O by default in the command-line tool

This speeds up activities like using 'fat add' to generate
the mirage-www files.img from 4:30s to 0:01.8s on my laptop
(with spinning disks)

Unbuffered I/O can still be used by adding '--unbuffered'

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #22 from djs55/buffered

Use buffered I/O by default in the command-line tool
Release 0.10.0

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #23 from djs55/release.0.10.0

Release 0.10.0
whitespace
whitespace
whitespace
Pull the filesystem error type definition outside the functor

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Add a pretty-printer for the filesystem_error type

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
fat: improve the error printing in the command-line tool

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Remove traces of the old (worse) error printer

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Fix the BLOCK error type as well as the FS error type

This makes the pretty-printer functions simpler, and we were already
depending on V1.BLOCK in the functor argument anyway.

Note we have duplicated the printer for the BLOCK error here. Perhaps
this should live in mirage-types?

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #26 from djs55/improve-error-type

Expose the error type(s), add pretty-printers and an fs.mli