Using Trustzone on mx53 and L4Linux

Adam Lackorzynski adam at
Thu Nov 21 22:55:19 CET 2013

On Tue Nov 19, 2013 at 17:23:12 +0100, panton wrote:
> I am trying to run the example on l4/examples/sys/vm-tz on my imx53
> qsb. I get something running but I am pretty sure it is not correct.
> I have found a message called "Full virtualization with Trustzone"
> that make me wonder several questions and I hope you can help me.
> 1- The vm-tz example is supposed to run a L4Linux on NS world. What
> I don't understand in which format should be the linux-image (or any
> other app you want to run). I use a gz compress linux image (the
> same I use for running "L4Linux ARM" example), but I think it should
> be a bin file (not even a ELF).

Should be a zImage format I guess. However, this is a simple example
only and I'm not sure it does something really useful.
> 2- The vm-tz example make use of l4sigma0_map_iomem() to request a
> memory mapping, but why not a l4sigma0_map_mem() if what you want is
> RAM mapping?

From the perspective of the TZ side this is not RAM (its own memory) but
other memory, i.e. device memory. That's why l4sigma0_map_iomem is

Adam                 adam at

More information about the l4-hackers mailing list