Using PSCI to reset the system.

Signed-off-by: Michal Simek michal.simek@xilinx.com ---

board/xilinx/zynqmp/zynqmp.c | 5 +++++ 1 file changed, 5 insertions(+)

diff --git a/board/xilinx/zynqmp/zynqmp.c b/board/xilinx/zynqmp/zynqmp.c index f15dc5d71522..0c5d9979316f 100644 --- a/board/xilinx/zynqmp/zynqmp.c +++ b/board/xilinx/zynqmp/zynqmp.c @@ -307,3 +307,8 @@ int board_usb_cleanup(int index, enum usb_init_type init) return 0; } #endif + +void reset_misc(void) +{ + psci_system_reset(true); +}