I'm new to FPGA work, but I think there is something wrong with the Zybo board I just received. Vivado tells me there are no debug cores. When I try to program it it says the debug core was not detected. I'm using the same project I used to program a different Zybo board, so I don't think it's the project configuration. I searched on the Vivado forum, and all I found was that this will happen if the JTAG clock frequency is less than the ILA clock frequency. I have no idea what that means. Vivado suggested I manually launch hw_server with some parameters specified. I tried that, but I still have the same issue. Can anyone here tell me how to get my board running? Or is this thing just broke?