71126d53df
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> |
||
---|---|---|
.. | ||
core.c | ||
Kconfig | ||
Makefile | ||
optee_msg_supplicant.h | ||
optee_msg.h | ||
optee_private.h | ||
optee_smc.h | ||
rpmb.c | ||
supplicant.c |