Connect a UART to the PS UART0 (usually MIO 48/49). The FSBL outputs detailed debug information if compiled with DEBUG enabled. Look for messages like: