| #
d12e24cf |
|
13-Feb-2019 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
templates: don't request cap rights for object types that don't have them
|
| #
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.
|