[Barrelfish-users] Does barrelfish on armv7 appcores ok?

[Wang Nan]

Hi,

In usr/monitor/arch/armv7/boot.c, the code try to alloc 0~2GB physical memory for cpu driver on app-core. However, on some arm platform, DDR memory starts from 2GB (0x80000000).

In guess_physical_addr_start ( usr/mem_serv/mem_serv.c ),  the code assumes pandaboard's physical memory starts from 0x80000000. Does it mean that currently barrelfish cannot bringup appcores on
pandaboard and other arm board?

Thank you!