Simple test kernel for the non-secure world

[Mahdi Aichouch]

Hello,

I am trying to test the bare-hw tz_vmm on i.mx6.

>From the article about Genode and trustzone, I read the that
there is a simple test kernel that was used test the switch from the normal
world to secure world.

Is this simple test kernel available somewhere?

Thanks in advance.

Best regards,

Mahdi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20141215/cdf5c400/attachment.html>