|
|
@@ -1,5 +1,6 @@
|
|
|
-# Ext4 File System in Rust
|
|
|
+# Another Ext4 File System in Rust
|
|
|
|
|
|
-Forked from: https://github.com/yuoo655/ext4_rs
|
|
|
+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.
|
|
|
|
|
|
-Refactored as a Rust library.
|
|
|
+Initial version is forked from [ext4_rs](https://github.com/yuoo655/ext4_rs).
|
liujingx