Add ISC license since this code originated from the mirage project

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Add OASIS, empty libraries and tests.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Add .gitignore

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Add travis

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Re-add boot sector parsing, add unit test

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Attempt to appease travis

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Use cstruct to parse the Boot_sector

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Add support for marshalling the boot sector

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Remove dead code

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Re-add Entry, Update, SectorMap

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Add unit test for the Boot_sector.sectors_of_{fat,root_dir} functions

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Re-add Name (was Dir_entry)

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Move the in-line checksum tests to the test suite

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Add unit tests for root directory and FAT chains

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Re-add Path

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Re-add Fs

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Re-add shell demo

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Remove old code.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Start adding a concurrency monad to the BLOCK signature

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Remove BLOCK.read_sectors from the interface

Signed-off-by: David Scott <dave.scott@eu.citrix.com>