| #
44b21ff3 |
|
19-Nov-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
virtqueue: Remove volatile qualifier
It is not necessary to restrict the compiler in this way.
|
| #
a2eab48e |
|
16-Sep-2019 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libcamkescakeml: Update style of virtqueue FFI
Updated the style of the virtqueue FFI implementation.
|
| #
2333cf20 |
|
16-Sep-2019 |
Alison Felizzi <Alison.Felizzi@data61.csiro.au> |
libcamkescakeml: Virtqueue FFI uses new interface
Updated the CakeML virtqueue FFI to use the new virtqueue
interface.
|
| #
de6f080c |
|
22-Oct-2018 |
Adam Felizzi <Adam.Felizzi@data61.csiro.au> |
libcamkescakeml: Removed hardcoded word offsets
Removed hardcoded offsets regarding word size in the driver_send
ffi function. This makes the virtqueue ffi compatible with 64 and
32 bit platforms.
|
| #
cfff7ce7 |
|
09-Sep-2018 |
Michael Sproul <michael.sproul@data61.csiro.au> |
libcamkescakeml: add virtqueue FFI support
|