diff options
| author | Dan Handley <dan.handley@arm.com> | 2014-07-25 14:54:38 +0100 |
|---|---|---|
| committer | Dan Handley <dan.handley@arm.com> | 2014-07-25 14:54:38 +0100 |
| commit | 705bf6806ba03169966a7c7df53a195d0255fefa (patch) | |
| tree | d10f1c88279c9c5d481c82d6302d3989abc9bb3c /bl31/bl31_main.c | |
| parent | a1a441775f64da2cbbd42c4f2c6f818f93278fca (diff) | |
| parent | b79af9344503b2d7b435451cfb8b1ab80b8afdf4 (diff) | |
Merge pull request #174 from soby-mathew:sm/lean_printf_v2
Implement a leaner printf for Trusted Firmware
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(); |