This source file contains the implementation of bsp_reset(). More...
#include <bsp.h>
#include <bsp/bootcard.h>
#include <dev/serial/zynq-uart.h>
This source file contains the implementation of bsp_reset().