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.
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.
