History log of /seL4-camkes-master/projects/global-components/interfaces/VirtQueues.idl4
Revision Date Author Comments
# d3050e92 22-Oct-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

interfaces: VirtQueues updated to BSD License

Updated the Virtqueues interface to a BSD license.
# efa6b856 22-Oct-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

VirtQueues: Added the seL4VirtQueues connector

This adds the seL4VirtQueue connector to global componants. By
importing global components, CAmkES apps can use
seL4Virtqueue's. This previously existed in the CAmkES VM project.