set mkfs_cmd   [check_installed mkfs.vfat]
set mkfs_opts  "-F32 -nlibc_vfs"

set test_build_components lib/vfs/fatfs
set test_vfs_config "<fatfs/>"
set test_boot_modules vfs_fatfs.lib.so

set use_vfs_server 1

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