History log of /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/virtio_emul_helpers.c
Revision Date Author Comments
# 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>
# 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.