History log of /seL4-camkes-master/projects/camkes-tool/camkes/templates/arch_helpers.py
Revision Date Author Comments
# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses
# 0fadff05 02-Apr-2017 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

Remove hardcoded min and max untyped size