History log of /seL4-camkes-master/projects/cakeml_libs/cakeml_libraries/libvirtqueue/virtqueueScript.sml
Revision Date Author Comments
# 075a5fe2 23-Oct-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

libvirtqueue: driver_send uses word_size for len

Updated offset calculation of the 'message_len' variable to also
used word_size.


# ba18f744 23-Oct-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

libvirtqueue: Added select_loop function

Added a select loop that loops over a set of virtqueues, calling
a parameterised function if there is data available.


# 466cf0dd 22-Oct-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

libvirtqueue: Added libvirtqueue library

Added the cakeml virtqueue library. This has been ported from
the zmq camkes-vm-example. This also includes CMake helpers that
template cakeml libraries into a linear dependency chain.