# Another Ext4 File System in Rust

Rust implementation of ext4 file system. This file system is checked by Metis Model Checker.
See [here](https://github.com/LearningOS/osbiglab-2024s-fuzzingfilesystem) for details.

Initial version is forked from [ext4_rs](https://github.com/yuoo655/ext4_rs).