Google Git
Sign in
opensecura / 3p / sel4proj / sel4_projects_libs / 1967d540d7e8f665da94f6815dd042c322b52b21
commit1967d540d7e8f665da94f6815dd042c322b52b21[log] [tgz]
authorKent McLeod <Kent.Mcleod@data61.csiro.au>Thu Jun 25 14:17:28 2020 +1000
committerKent McLeod <Kent.Mcleod@data61.csiro.au>Thu Jun 25 14:54:57 2020 +1000
treee454b46e9a8a041256fdd7b1c0fdbb32bc7f929a
parent8dc52bb3181b4e39431b9865a4284f3f9364ccdb [diff]
cross_vm_connectors: Add a device name register

The event PCI BAR allocates a 4K frame but only uses the first 8 bytes
for sending and receiving events. The next 50 bytes are now used to
store a device name that a guest OS can use to identify different
devices.

A default of "connector" is used because this was the name that the
Linux kernel module would give to all devices before this change.
2 files changed
tree: e454b46e9a8a041256fdd7b1c0fdbb32bc7f929a
  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.