Google Git
Sign in
opensecura/3p/sel4proj/sel4_projects_libs/ad4d8b3414d0c9297f136efb1c0de4a20caf4422
commit
ad4d8b3414d0c9297f136efb1c0de4a20caf4422
[log]
author
Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Fri Feb 07 17:56:43 2020 +1100
committer
Alison Felizzi <Alison.Felizzi@data61.csiro.au>
Fri Feb 21 14:49:48 2020 +1100
tree
039c991f7528a34ebb158d509867650cf36306c6
parent
f4a0ccae7dd991803456c0022354d960fd63cb57 [diff]
libsel4vmmplatsupport: virtio[con|net] init update

Updated the virtio console and virtio net driver initialisation
interfaces to take into consideration the new ioport interface
updates. This allows the user to pass the ioport type and reorders
the init sequence to setup the device PCI space after the ioport
range has been determined.
4 files changed
tree: 039c991f7528a34ebb158d509867650cf36306c6
  1. libsel4bga/
  2. libsel4dma/
  3. libsel4keyboard/
  4. libsel4nanopb/
  5. libsel4rpc/
  6. libsel4vchan/
  7. libsel4vm/
  8. libsel4vmmplatsupport/
  9. .gitignore
  10. CMakeLists.txt
  11. Findsel4_projects_libs.cmake
  12. LICENSE.txt
  13. 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.