Hello ,Genode Community

I have written an email before which  has a similar question to this email, but I haven't receive any response yet. Because solving this problem is  very important to my  work , so I  decide to put it out again and hope to receive some help.

The thing is I want to use sd_card driver in i.mx53 quick start board with trustzone. I know Martin said " you should not run 'sd_card' with Genodes Trustzone feature-set (platform 'hw_imx53_qsb_tz'), because Genode will then declare the ESDHC-IRQ to be unsecure to enable Linux to drive SD cards."[1]. But unfortunately, my work is just needs to use sd_card driver with trustzone. So I wonder is this possible? I am now using the latest Genode version(18.08).

Form my point of view,  if ESDHC-IRQ is still to be unsecure, this's two ways to solve this problem:

1. set ESDHC-IRQ to be secure. In this  way ,Genode OS  in secure world can directly drive the SD card. Also, the linux in the normal world must be modified to the stat that could not drive SD card. If this  is right, could you provide me some hint to this method?

2. forward the sd card request to linux in the normal world.So all the  sd card operation will be performed by linux. However, I think this will introduce more world switch between two worlds and you should provide a linux driver to serve for Genode's file operation.

I will be grateful if  you could give me some help, thanks a lot!