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!
------------------
Best wishes
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
