commit: cb2b459c09b3a942e42d11671dece0264c13568b
[log]
author: Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Fri Feb 07 17:32:34 2020 +1100
committer: Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Fri Feb 21 14:49:48 2020 +1100
tree: d7f3f86f179de8bdcec73159536a9807b4f8d7fb
parent: 381f45801599c44333e00d92f1a808ce99b5a34b [diff]

libsel4vmmplatsupport: Expanded vpci io region

Expanded the size of the vpci io region for all the platforms. This
ensures we emulate the full io region space we advertise in the
fdt (which other devices will use)

libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/vpci.h[diff]
libsel4vmmplatsupport/plat_include/qemu-arm-virt/sel4vmmplatsupport/plat/vpci.h[diff]
libsel4vmmplatsupport/plat_include/tk1/sel4vmmplatsupport/plat/vpci.h[diff]
libsel4vmmplatsupport/plat_include/tx1/sel4vmmplatsupport/plat/vpci.h[diff]
libsel4vmmplatsupport/plat_include/tx2/sel4vmmplatsupport/plat/vpci.h[diff]

5 files changed

tree: d7f3f86f179de8bdcec73159536a9807b4f8d7fb

libsel4bga/
libsel4dma/
libsel4keyboard/
libsel4nanopb/
libsel4rpc/
libsel4vchan/
libsel4vm/
libsel4vmmplatsupport/
.gitignore
CMakeLists.txt
Findsel4_projects_libs.cmake
LICENSE.txt
README.md

README.md

seL4_projects_libs

seL4 Projects Libraries

A collection of libraries for seL4. These libraries are compatible with seL4_libs.

License

The files in this repository are release under standard open source licenses. Please see individual file headers and the LICENSE_BSD2.txt file for details.