|
@@ -12,6 +12,7 @@
|
|
#include <image.h>
|
|
#include <image.h>
|
|
#include <asm/arch/reset_manager.h>
|
|
#include <asm/arch/reset_manager.h>
|
|
#include <spl.h>
|
|
#include <spl.h>
|
|
|
|
+#include <asm/arch/system_manager.h>
|
|
|
|
|
|
DECLARE_GLOBAL_DATA_PTR;
|
|
DECLARE_GLOBAL_DATA_PTR;
|
|
|
|
|
|
@@ -25,6 +26,11 @@ u32 spl_boot_device(void)
|
|
*/
|
|
*/
|
|
void spl_board_init(void)
|
|
void spl_board_init(void)
|
|
{
|
|
{
|
|
|
|
+#ifndef CONFIG_SOCFPGA_VIRTUAL_TARGET
|
|
|
|
+ /* configure the pin muxing through system manager */
|
|
|
|
+ sysmgr_pinmux_init();
|
|
|
|
+#endif /* CONFIG_SOCFPGA_VIRTUAL_TARGET */
|
|
|
|
+
|
|
/* de-assert reset for peripherals and bridges based on handoff */
|
|
/* de-assert reset for peripherals and bridges based on handoff */
|
|
reset_deassert_peripherals_handoff();
|
|
reset_deassert_peripherals_handoff();
|
|
|
|
|