Noux application

[Martin Stein]

Hi Joseph,

Am 15.11.2015 um 03:05 schrieb Joseph Lee:
> Hi Martin, thank you so much! it works for me.

Nice! Could you please also share with us what the problem was and what
solved it.

> 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.

As already mentioned earlier in this discussion, hw_imx53_qsb_tz sets
the ESDHC MMIO and IRQs unsecure. This is done in [1], [2] and [3]. You
can find examples on how to do Trustzone settings specifier-dependend in
my working branch [4].

Cheers,
Martin

[1] repos/base-hw/src/core/include/spec/imx53/trustzone/csu.h:159
[2] repos/base-hw/src/core/include/spec/imx53/trustzone/csu.h:215
[3] repos/base-hw/src/core/spec/imx53/trustzone/platform_support.cc:48
[4] https://github.com/m-stein/genode/tree/1497_usb_armory_demo