l4sigma0_map_iomem Allowed Addresses

Wesley Miaw wesley at wesman.net
Fri Sep 30 00:34:38 CEST 2011


I'm having some trouble understanding the acceptable values usable in a
call to l4sigma0_map_iomem. It looks like the way for me to request a map
from an available physical address block to a virtual memory address that
can be used by the program. Perhaps I am lacking a more fundamental
understanding of the ARM memory model.

But what addresses should be allowed? My Verstaile Express board has 1GB
RAM starting at physical address 0x60000000 but I can't use this address.
I immediately get an error. I also tried starting at 0x80000000. (The L4
Bootloader seems to be using memory at 0x60000000 for its own purposes
anyway.)

Error: Cannot map physical memory: (-2147451404) No fpage received

If I try to get size 0x04000000 from address 0x08000000 it works fine. I
am going off the memory map of the CoreTile A9x4.

http://infocenter.arm.com/help/topic/com.arm.doc.dui0448e/CIAGFCHA.html#BBAFBJDJ

The CoreTile A9x4 uses the Versatile Express Motherboard uATX's Legacy
memory map.

http://infocenter.arm.com/help/topic/com.arm.doc.dui0447e/ch04s02s01.html#CHDEJIAC

Thanks,
-- 
Wesley Miaw
wesley at wesman.net








More information about the l4-hackers mailing list