I'm playing around with the xadcps_intr_example and for some reason I can't print any float values?
Xil_printf does not support printing floats. Printf should print floats. Try splitting the printf statement into two pieces. One statement for the integer and one for the float.