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