List overview
Download

users November 2016

users@lists.genode.org

13 participants
12 discussions

Start a nNew thread

[tz_vmm demo]- execution time
by John David 03 Nov '16

03 Nov '16

Hello, I want to measure execution time of a function in the secure world of tz_vmm demo. I was wondering if I could use elapsed_ms( ) method in timer_session to measure t1 and t2 so that I can take the difference (t2 -t1). Is there any other way? Best regards, John

2 5

Supported ARM devices
by Yevgeny Lavrov 01 Nov '16

01 Nov '16

Hello. My current task is to bring Genode, preferably with seL4 on ARM. Can you please provide me a list of supported ARM devices, or recommend an ARM device that would be the best suited for this task. Thank you.

2 3