tx2: change vpci addresses to be within 32-bit

Our vpci implementation does not allow an address to be outside of
32-bit range. the emulated bar address registers in the config region
are 32-bit.
1 file changed
tree: 2524942da2140073e72237f529bc509a94e8b1e6
  1. libsel4bga/
  2. libsel4dma/
  3. libsel4keyboard/
  4. libsel4nanopb/
  5. libsel4rpc/
  6. libsel4vchan/
  7. libsel4vm/
  8. libsel4vmmplatsupport/
  9. .gitignore
  10. .licenseignore
  11. CMakeLists.txt
  12. Findsel4_projects_libs.cmake
  13. LICENSE.txt
  14. README.md


seL4 Projects Libraries

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


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.