History log of /seL4-camkes-master/projects/camkes-tool/libcamkescakeml/CMakeLists.txt
Revision Date Author Comments
# cfff7ce7 09-Sep-2018 Michael Sproul <michael.sproul@data61.csiro.au>

libcamkescakeml: add virtqueue FFI support
# faee8a18 23-Jul-2018 Adrian Danis <Adrian.Danis@data61.csiro.au>

libcamkescakeml: Provide IPC helpers

Implements helpers for performing IPC operations from CakeML. These helpers do not handle
cap transfer as transfering capabilities is not an operation supported by CAmkES.
# b7b4dce3 02-Jul-2018 Adrian Danis <Adrian.Danis@data61.csiro.au>

CakeML basis library for CAmkES