| #
745291ce |
|
27-Nov-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert to SPDX license tags
Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
|
| #
9729d574 |
|
20-Feb-2020 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
Style: Updated style of modified files
Updated the style of various source files recently updated. These
mainly being the ioports interface updates
|
| #
ad4d8b34 |
|
06-Feb-2020 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
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.
|
| #
cc5bdc60 |
|
09-Oct-2019 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libsel4vmmplatsupport: Merged in vmmcore + sel4pci
Merged libsel4vmmcore and libsel4pci into libsel4vmmplatsupport.
This was done to consolidate all our vmm support sources into a
single location. All the contents in libsel4vmmcore and libsel4pci
are only targeted for vmm applications that build ontop of our
sel4 vm platform.
|