xil_printf

xil_printf是Xilinx提供的一个用于嵌入式系统中的打印函数，它可以像printf一样打印格式化的字符串，但是不需要包含stdio.h头文件。与printf不同的是，xil_printf可以直接在嵌入式系统的串口终端上输出调试信息，而不需要像printf一样需要连接到计算机上。另外，xil_printf也支持一些特殊的格式化字符，例如%x可以用于打印16进制数。下面是一个使用xil_printf打印计数器的例子：

#include "xil_printf.h"

int main() {
    int counter = 0;
    for (;;) {
        counter++;
        xil_printf("Counter value: %d\r\n", counter);
    }
    return 0;
}