History log of /seL4-camkes-master/tools/rumprun/platform/sel4/camkes/camkes_link.sh.in
Revision Date Author Comments
# 0dbae030 27-Jul-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

CMake: Add helpers for declaring camkes components

Adds DeclareRumprunCAmkESComponent for declaring a rumprun camkes
component