diff options
| author | Jens Wiklander <jens.wiklander@linaro.org> | 2017-12-28 11:14:05 +0100 |
|---|---|---|
| committer | Jens Wiklander <jens.wiklander@linaro.org> | 2017-12-28 13:21:27 +0100 |
| commit | cdbcf83d29c1bf2aaa65260e74beaac1bcdc231c (patch) | |
| tree | 6f922d6fe5a4f6c3aa18a4be08170f4d7c4a1ac4 /scripts/gen_compile_commands.py | |
| parent | 95ffe4ca43877eea176d7e95aa0d38bbdc3d2903 (diff) | |
tee: optee: check type of registered shared memory
Checks the memory type of the pages to be registered as shared memory.
Only normal cached memory is allowed.
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Diffstat (limited to 'scripts/gen_compile_commands.py')
0 files changed, 0 insertions, 0 deletions