set mkfs_cmd   [installed_command mkfs.vfat]
set mkfs_opts  "-F32"
set filesystem fatfs

#
# The fatfs_libc plugin opens a block session directly. If the VFS opened
# the block session, the plugin would try to open a second one, which
# would get denied by the block driver.
#
set libc_dev_blkdev ""

source ${genode_dir}/repos/libports/run/libc_filesystem_test.inc