Hi
I am running Genode VMM demo on i.mx53 QSB. I wanted to configure the
secure world or tz_vmm to switch to the normal world periodically using
timer driver. It would be great if you could give me a hint how to do that.
I think the board supports three timers (EPIT, GPT and watchdog).
Which timer is accessed and used by the guest OS (Linux) and which one is
not. How to protect the Genode timer driver as the normal world or Linux
may interfere with it?
Thanks a lot!
Best regards,
Christian
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
