2014-04-14 11:57:22 +02:00
|
|
|
set mkfs_cmd mkfs.exfat
|
|
|
|
set mkfs_opts ""
|
|
|
|
set filesystem fuse_exfat
|
|
|
|
set libc_dev_blkdev {<block name="blkdev"/>}
|
2013-11-25 16:14:59 +01:00
|
|
|
|
2014-05-07 11:48:19 +02:00
|
|
|
source ${genode_dir}/repos/libports/run/libc_filesystem_test.inc
|