set mkfs_cmd [check_installed mke2fs] set mkfs_opts "-F" set test_build_components "lib/vfs/rump" set test_vfs_config "" set test_boot_modules { rump_fs.lib.so rump.lib.so vfs_rump.lib.so } set use_vfs_server 1 source ${genode_dir}/repos/libports/run/libc_vfs_filesystem_test.inc