History log of /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/sync.h
Revision Date Author Comments
# e5f8f9c9 07-Jun-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

sel4camkes: Add ps_mutex_ops that uses camkes_pool