Hello,

I am now using tz_vmm demo on imx53-qsb board. Now, I want to use file system session in tz_vmm and use SD card for storage medium. I know there's a SD card driver [1] for imx53 board and I also find a related topic in this link: https://sourceforge.net/p/genode/mailman/message/34667551/. However, this link may be a few times ago, so the reference file [2] can not be find in my Genode source tree(18.05).

I can only find some related file like [3] ,but I am a little confuse. Because in repos/libports/run/libc_filesystem_test.inc, there's no target like "server/libc_fatfs" , but in boot_modules , it contains "libc_fatfs.lib.so". I have tried append target "test/libc_fatfs test/libc_block" like in libc_filesystem_test.inc ,but when building the project, it print the error messge like:

Error: Ports not prepared or outdated: fatfs

And when I use ./tool/ports/prepare_port fatfs, there's another error:

Error: Hash sum check for fatfs failed

/genode/tool/ports/mk/install.mk:197: recipe for target 'fatfs.file' failed

I have tried ./tool/ports/update_hash fatfs but got the same result.So I wonder how libc_fatfs can be used?

Besides, I find the file repos/libports/run/libc_block.run which is a script for testing sd card driver I think. So I modify tz_vmm.run script as follows :

1. append targets " drivers/sd_card" and append boot_modules "sd_card_drv"

2.add config

</start>

<vfs>

<log/>

</dir>

</vfs>

</start>

3. In my own program, I write a test file like in repos/libports/src/test/libc_block/main.cc, but it print the message like this:

[init -> my_server] offset: 8193

[init -> sd_card_drv] Error: wait till issuing a new command is allowed timed out.

I have no idea why this error occurred.

In general , could you please give me some hint that how I can use file system session in tz_vmm? Thanks.

[1] repos/os/src/drivers/sd_card/spec/imx53

[2] repos/libports/run/libc_ffat_fs.run

repos/libports/run/libc_ffat.run

[3] repos/libports/run/libc_fatfs.run

repos/libports/run/libc_filesystem_test.inc