Experimenting the vm-tz example on the Freescale i.mx6 SDB

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Apr 9 00:01:09 CEST 2015


On Wed Apr 08, 2015 at 14:13:47 +0200, Mahdi Aichouch wrote:
> Thank you very much for your answer and explanation.
> The call to "l4sigma0_map_iomem(sigma0_cap.cap(), Ram_base, Ram_base,
> ram_size, 1)"
> failed at the first page that it tries to map.
> I activated the debug flags in pkg/sigma0/server/src/globals.h.
> And I get the debug messages include in the attached file. But based on the
> debug messages
> it is difficult to interpret what might be wrong.
> Could you please take a look at the logs in the attached file and tell me
> what do you think.

So now I'm looking at the right spot. You need to limit the memory the
system uses. Either edit l4/mk/platforms/imx6.conf, or use
RAM_SIZE_MB=xxx when building the image.

> >> L4 Bootstrapper
> >>   Memory size is 1024MB (10000000 - 4fffffff)
> >>   RAM: 0000000010000000 - 000000004fffffff: 1048576kB
> >>   Total RAM: 1024MB

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list