An educational file system for Linux