The support for Mirage_kv.RW is missing some stuff (like the ability to connect to an existing disk, rather than format it!)... and the implementation hasn't been stress-tested (I have some doubts regarding the way we simulate the hierarchical directories in list)