On 04/03/2017 10:49 AM, Martin Stein wrote:
> Hey Yevgeny.
>
> Am 03.04.2017 um 04:49 schrieb Yevgeny Lavrov:
>> Hi,
>>
>> Thanks for the hints. I managed to solve the sd_card_bench issue.
>> I've tried to print out completion state as Martin suggested by making
>> the following changes to:
>>
Hi Christian,
On 04/03/2017 01:24 AM, christian schulte wrote:
> 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.
