Mapping physical mem region

[Nikolay Golikov]

Hi, l4-hackers!
How I can map some physical memory region to task address space?
I tried to use l4sigma0_map_mem, but it return me "No fpage received"
error. I tried different region szes from 256M to 4K.

PS I try to do it on i.mx53

TZ-VMM  | Hello from tz-vmm!
TZ-VMM  | Nonsecure Ram mapping failed (No fpage received)!
TZ-VMM  | Addr: 0x80000000 Size: 0x1000 (4K)
SIGMA0: Memory usage: a total of 4096 byte are in the memory pool
  allocated 10 of 203 objects
  this are 200 of 4060 byte
SIGMA0: Dump of all resource maps
RAM:------------------------
[4:70000000;70000fff]
[4:70061000;7008ffff]
[4:70097000;70097fff]
[4:7009f000;8effffff]
IOMEM:----------------------
[0:0;53efffff]
[10:53f00000;53f03fff]
[0:53f04000;63f9bfff]
[10:63f9c000;63f9ffff]
[0:63fa0000;6fffffff]
[0:90000000;ffffffff]