History log of /seL4-camkes-master/projects/camkes-tool/camkes/templates/seL4GDBMem-to.template.c
Revision Date Author Comments
# c2f485d8 05-Dec-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

templates: update grant to grantreply on endpoints

Endpoints no longer require grant to generate reply caps on call. Add
the new reduced right 'grantreply'.
# 46fd2802 28-Sep-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Fixup unit tests from gdb merge
# f2621581 23-Aug-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

CAMKES-564: Add remote GDB debugging support

See docs/DEBUG.md for more information.