History log of /seL4-camkes-master/projects/camkes-tool/camkes/templates/seL4SharedData.template.c
Revision Date Author Comments
# 6361f717 11-Feb-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

seL4SharedData: Add missing terminating token
# 7498dcdb 11-Feb-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

seL4SharedData.template: Remove accidental '\'
# f9cde755 10-Feb-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

templates: Use one template for seL4SharedData

Dataport connectors don't typically have directionality and the template
is almost identical for each end of the connector.