diff options
Diffstat (limited to 'bl31/bl31_main.c')
| -rw-r--r-- | bl31/bl31_main.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c index d949a08c..031799ce 100644 --- a/bl31/bl31_main.c +++ b/bl31/bl31_main.c @@ -34,9 +34,9 @@ #include <bl_common.h> #include <bl31.h> #include <context_mgmt.h> +#include <debug.h> #include <platform.h> #include <runtime_svc.h> -#include <stdio.h> #include <string.h> /******************************************************************************* @@ -77,7 +77,7 @@ void bl31_main(void) /* Perform platform setup in BL1 */ bl31_platform_setup(); - printf("BL31 %s\n\r", build_message); + tf_printf("BL31 %s\n\r", build_message); /* Initialise helper libraries */ bl31_lib_init(); |