Filesystem

Multiple types of filesystems are supported, and their differences are hidden from the user via a flexible device system. (See Section [*].)