History log of /seL4-camkes-master/projects/camkes-tool/camkes/templates/camkesConstants.sml
Revision Date Author Comments
# b17f4e04 23-Apr-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

cakeml: Support camkes component string attributes

This is to allow setting string configuration settings in a .camkes
project file and access the value from a CakeML component.