Based on LEAN v0.6.1.
Currently supports reading. Write support under development.
Significant reference made to krinkinmu's fs, and to the ext2 drivers.
All code in this repository should conform to the Linux kernel coding style. Current areas of improvement include
- Adding an option to populate a newly-created filesystem in mkfs
- Creating an automated-testing framework
- Deleting files