Is there some current version of the FAT file system code available?

[Johannes Kloos <jkloos@xxxxxxxxxxx>]

Hi,

Right now, it seems that there is no more code for the FAT filesystem in 
the MirageOS repository. Is there some reasonably up-to-date version of 
this code available somewhere?
More generally, I'm looking for an implementation of a file system that 
supports write operations and is based around the LWT library for a 
project on software verification. Does MirageOS provide something like this?
Best regards,
Johannes