tree 9c6ed119e9ff9b0a793d75336a20737c72c5ad68
parent 42551f49b35fe1067c778086292a9b8c6fc2be0c
author Patrick Delaunay <patrick.delaunay@st.com> 1583151713 +0100
committer Tom Rini <trini@konsulko.com> 1587141156 -0400

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 <patrick.delaunay@st.com>
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>