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