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

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Apr 7 23:35:32 CEST 2015


Hi,

On Wed Apr 01, 2015 at 11:36:48 +0200, Mahdi Aichouch wrote:
> I tried to do as you suggested, and I added a loop in order to map a small
> chunk of memory at time.
> 
> When I tried to map 1 KB at a time and 2 KB at a time, I received this
> error from the first call to
>  l4sigma0_map_iomem ( ) function:
> 
> ...
> Vmm started
> j = 0 addr = 0x0
> Cannot map nonsecure memory Phys, virt or size not aligned

Minimal page size is 4kB, so this is supposed to happen.

> Then, I tried to add 4KB at a time, and I received the same error as before
> at the first call to
> the l4sigma0_map_iomem ( ) function, that is:
> 
> ...
> Vmm started
> j = 0 addr = 0x0
> Cannot map nonsecure memory No fpage received

For all pages you tried or just the first one?

> I also tried with 4 KB, 8 KB, 16 KB, 32 KB,...
> I get the same error: "No fpage received"
> 
> 
> This is the code of the loop that I added:
> 
>   int ram_size = 0x1000; //4 KB
> 
> 
>   int address  = 0x0;
>   int j;
>   for(j = 0; j < 256; j++) {
>     fault = l4sigma0_map_iomem(sigma0_cap.cap(), Ram_base, Ram_base,
> ram_size, 1);
>     printf("j = %d addr = 0x%x\n", j, address);
>     address += ram_size;
>     if (fault) {
>       printf("Cannot map nonsecure memory %s\n",
> l4sigma0_map_errstr(fault));
>       exit(1);
>     }
>   }
> 
> Could you please tell me what else should I check to track down the source
> of the error.

In pkg/sigma0/server/src/globals.h there's a debug_ipc and
debug_warnings enum, toggle those to 1 and maybe the messages will tell
us something.




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