2014-02-18 18:09:12 +00:00
|
|
|
/*
|
2015-03-19 19:17:53 +00:00
|
|
|
* Copyright (c) 2013-2015, ARM Limited and Contributors. All rights reserved.
|
2014-02-18 18:09:12 +00:00
|
|
|
*
|
2017-05-03 09:38:09 +01:00
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
2014-02-18 18:09:12 +00:00
|
|
|
*/
|
|
|
|
|
2015-03-19 19:17:53 +00:00
|
|
|
#include <plat_arm.h>
|
2014-08-04 11:41:20 +01:00
|
|
|
#include "../fvp_private.h"
|
2014-02-18 18:09:12 +00:00
|
|
|
|
2014-08-04 11:41:20 +01:00
|
|
|
void tsp_early_platform_setup(void)
|
2014-02-18 18:09:12 +00:00
|
|
|
{
|
2015-03-19 19:17:53 +00:00
|
|
|
arm_tsp_early_platform_setup();
|
2014-05-09 11:42:56 +01:00
|
|
|
|
|
|
|
/* Initialize the platform config for future decision making */
|
2014-05-15 14:53:30 +01:00
|
|
|
fvp_config_setup();
|
2014-02-18 18:09:12 +00:00
|
|
|
}
|