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; } type t = Mkernel.Block.t Mfat.t module type FS = sig val t : t end