module Fat = Mfat.Make (struct include Mkernel.Block let read = atomic_read let write = atomic_write end) include Fat type entry = Mfat.entry = { name: string; is_dir: bool; size: int32; } let create blk = match Fat.create blk with | Error (`Msg e) -> Fmt.failwith "FAT file system failure: %s." e | Ok fs -> fs type t = Mkernel.Block.t Mfat.t module type FS = sig val t : t end