Simple test kernel for the non-secure world

[Mahdi A. <fox...@gm...>]

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