Experimenting the vm-tz example on the Freescale i.mx6 SDB
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Tue Mar 24 22:34:00 CET 2015
Hi,
On Mon Mar 23, 2015 at 11:33:56 +0100, Mahdi Aichouch wrote:
> I configured the Ram_base to 0x20000000 for the normal-world OS and the
> Ram_size to
> 0x10000000 (256 MB).
>
> The secure world OS is loaded at 0x10000000 according to the link address
> of fiasco
> kernel on the i.mx6, and has 256 MB of Ram.
>
> When I start the vm-tz example, the reserve_area( ) method is executed
> successfully,
>
> ...
>
> l4_addr_t v = Ram_base;
> L4Re::chksys(env->rm()->reserve_area(&v, Ram_size, L4Re::Rm::Reserved));
>
> fault = l4sigma0_map_iomem(sigma0_cap.cap(), Ram_base, Ram_base, Ram_size,
> 1);
> if (fault) {
> printf("Cannot map nonsecure memory: %s\n", l4sigma0_map_errstr(fault));
> exit(1);
> }
>
> ...
>
> but the l4sigma0_map_iomem( ) returns an error:
>
> ...
> Vmm started
> Cannot map nonsecure memory No fpage received
> MOE: task 270000679 exited with 1
>
> Then the programs stops executing, the setup_linux(vmstate) function is not
> executed, and the ATAG data structure is not copied.
>
> Do you have an idea of what might cause this fault.
What could be the cause is that this region is not free but it should be
I guess. Anyway, sigma0 is printing all the regions it has, could you
cite this here so I can have a look?
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list