Can anyone tell me step by step how to do a processor subsystem reset of the microzed board? I have the MicroZed Board Evaluation kit. Windows 7 PC with Vivado 2014.4 and SDK. This manual mentions what the reset would do but was unclear on how to do it: http://microzed.org/sites/default/files/documentations/MicroZed_HW_UG_v1_4.pdf (2.5.3)