Another Ext4 File System in Rust Rust implementation of ext4 file system. This file system is checked by Metis Model Checker. See here for details. Initial version is forked from ext4_rs.