Hi Martin, thank you so much! it works for me.
Now I just need to use the sd_card driver with Genode trustzone feature (hw_imx53_qsb_tz). I tried to incorporate sd_card driver with tz_vmm run script and make run/tz_vmm. I get the following log messages and it gets stuck. it doesn't even run tz_vmm application. I appreciate if you can give me some hints to fix this.
kernel initialized
Genode 15.08
int main(): create local services
int main(): start init
int main(): transferred 248 MB to init
int main(): init created, waiting for exit condition
[init -> sd_card_drv] Could not open ROM session for module "config
[init -> sd_card_drv] Could not obtain config file
[init -> sd_card_drv] no VFS configured
[init -> sd_card_drv] --- Imx53 SD card driver ---
thanks,