tree fd30b93236255d1e1e64ede2d762900c09e98694
parent eac35bb49009792a9dc38705018bee0ea72709ad
author Alison Felizzi <Alison.Felizzi@data61.csiro.au> 1582687249 +1100
committer Kent McLeod <Kent.Mcleod@data61.csiro.au> 1585203820 +1100

libsel4vmmplatsupport: Revised qemu vpci addresses

Revised the qemu vpci address ranges. The previous values were
found to conflict with other devices qemu manages. Moved the
addresses to be situated after the ram address range where QEMU
is less likely to allocate from.