| #
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'.
|
| #
8754e550 |
|
14-May-2018 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
templates:Update object reference
This now uses the actually exported object from the capdl modules
|
| #
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.
|