Using PSCI to reset the system. Signed-off-by: Michal Simek <michal.simek@xilinx.com>
@@ -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);
+}