No output from HPS UART during boot

I have a custom board with a Cyclone V SoC. The chip powers up ok and I can see the FPGA and the HPS on the JTAG chain when I use my USB blaster. So far so good! I would now like to get the HPS...