History log of /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/delegate_types.h
Revision Date Author Comments
# 19c9d5df 16-Jul-2019 Yu Hou <Yu.Hou@data61.csiro.au>

Trivial: style fix

make the style checker happy
# 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.