set build_component server/fatfs_fs
set binary fatfs_fs
set mkfs_cmd mkfs.vfat
set mkfs_opts "-F32"
set vfs_dev_blkdev ""
source ${genode_dir}/repos/libports/run/libc_vfs_fs_test.inc