diff options
Diffstat (limited to 'bl31/bl31_main.c')
| -rw-r--r-- | bl31/bl31_main.c | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c index 907c4877b..cf826d01b 100644 --- a/bl31/bl31_main.c +++ b/bl31/bl31_main.c @@ -28,17 +28,14 @@ * POSSIBILITY OF SUCH DAMAGE. */ -#include <stdio.h> -#include <string.h> -#include <assert.h> +#include <arch.h> #include <arch_helpers.h> -#include <console.h> -#include <platform.h> -#include <semihosting.h> +#include <assert.h> #include <bl_common.h> #include <bl31.h> -#include <runtime_svc.h> #include <context_mgmt.h> +#include <runtime_svc.h> +#include <stdio.h> /******************************************************************************* |