Start device range from 0x3000000 so that aarch64 Xen guest can map gic. This seems to be lowest address required.
Signed-off-by: Sergiy Kibrik <[email protected]> --- arch/aarch64/arch-mmu.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch/aarch64/arch-mmu.hh b/arch/aarch64/arch-mmu.hh index a966d07..6ed6e5d 100644 --- a/arch/aarch64/arch-mmu.hh +++ b/arch/aarch64/arch-mmu.hh @@ -19,7 +19,7 @@ namespace mmu { constexpr int max_phys_addr_size = 48; // device_range_* are used only for debug purpose -constexpr int device_range_start = 0x8000000; +constexpr int device_range_start = 0x3000000; constexpr int device_range_stop = 0x40000000; extern u64 mem_addr; /* set by the dtb_setup constructor */ -- 2.7.4 -- You received this message because you are subscribed to the Google Groups "OSv Development" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
