diff options
| author | Patrick Delaunay <[email protected]> | 2020-03-02 13:21:53 +0100 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2020-04-17 12:32:36 -0400 |
| commit | 71126d53df7aea9abb42b99b69c8d8b9cb5aa043 (patch) | |
| tree | 9c6ed119e9ff9b0a793d75336a20737c72c5ad68 /cmd | |
| parent | 42551f49b35fe1067c778086292a9b8c6fc2be0c (diff) | |
tee: optee: use dev_info in print_os_revision
Display TEE version at information level; this patch replaces
debug() call to dev_info() in print_os_revision() function.
Signed-off-by: Patrick Delaunay <[email protected]>
Acked-by: Jens Wiklander <[email protected]>
Diffstat (limited to 'cmd')
0 files changed, 0 insertions, 0 deletions