cross_vm_connection: Round up event BAR size

As our vpci device doesn't support emulating remapping of device
resource physical addresses by the guest, we need to create our devices
in a way that Linux won't decide to remap them. This means making each
BAR the same size.  For Cross-VM connectors we have a dataport and event
resource. We describe both as being the size of the dataport, but only
create a single page for the event port.  This assumes that the guest
will only access the first word of the event port for signalling events
and we have a large enough address range to spend on making the event
resource as large as the dataport one.
1 file changed
tree: 5151da4d18bfd8e291f5f99676ebeeb54843bdce
  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
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.