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