diff options
| author | Sumit Garg <[email protected]> | 2020-03-27 10:59:47 +0530 |
|---|---|---|
| committer | Jens Wiklander <[email protected]> | 2020-04-20 15:49:56 +0200 |
| commit | 2a6ba3f794e892c37d67b8ebb19487ce105eabc2 (patch) | |
| tree | a6a990a7c99ead25bc8941332e294ee0418d486d /scripts/gdb/vmlinux-gdb.py | |
| parent | ae83d0b416db002fe95601e7f97f64b59514d936 (diff) | |
tee: enable support to register kernel memory
Enable support to register kernel memory reference with TEE. This change
will allow TEE bus drivers to register memory references.
Signed-off-by: Sumit Garg <[email protected]>
Signed-off-by: Jens Wiklander <[email protected]>
Diffstat (limited to 'scripts/gdb/vmlinux-gdb.py')
0 files changed, 0 insertions, 0 deletions