History log of /seL4-camkes-master/projects/camkes-tool/camkes/templates/seL4DTBHardware-from.template.c
Revision Date Author Comments
# a60cd9a8 19-Mar-2019 Damon Lee <Damon.Lee@data61.csiro.au>

templates: Add new seL4DTBHardware connector templates

These templates form the new connector which can be used to
automatically allocate hardware resources given a DTB node.