[PATCH] tee: optee: use dev_info in print_os_revision

[Jens Wiklander]

On Mon, Mar 2, 2020 at 1:22 PM Patrick Delaunay <patrick.delaunay at st.com> wrote:
>
> 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 at st.com>
> ---
>
>  drivers/tee/optee/core.c | 13 +++++++------
>  1 file changed, 7 insertions(+), 6 deletions(-)

Acked-by: Jens Wiklander <jens.wiklander at linaro.org>

Cheers,
Jens