| #
1f6de1ca |
|
20-Feb-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
libsel4debug: add prefix for register dump
This allows register dumps to identify the source of the dump.
|
| #
0016dfc6 |
|
13-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix all the whitespace
- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of files
|
| #
9214341c |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
| #
545f19ff |
|
21-Oct-2015 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
libsel4debug: add register_dump(tcb) which prints out the register set of the passed in TCB ptr using seL4_TCB_ReadRegisters.
|