Barrelfish
|
Platform code for ARMv7-A VersatileExpress EMM board. More...
Variables | |
lpaddr_t | phys_memory_start = GEN_ADDR(31) |
Platform code for ARMv7-A VersatileExpress EMM board.
lpaddr_t phys_memory_start = GEN_ADDR(31) |
Absolute start of RAM in physical memory.