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