之前用ZYBO板卡做过一个小车平台。为了让小车支持蓝牙功能，在Vivado硬件中增加了一个串口，这个串口通过两个mio（zybo JF接口上的JF2，JF3）来连接蓝牙模块。但是增加串口的后果就是：如果在sdk中不经过特定的配置，会导致无法使用printf函数进行打印操作。因此需要稍微配置一下sdk。配置方法如下（假设用户已经将硬件导出至sdk，并新建了一个名为“helloworld”的工程）：
1. 在sdk页面左侧的project explorer一栏的helloworld bsp上，右击鼠标，选择”Board Support Package Settings“，弹出如下窗口：
2. 选择左侧的standalone，然后将stdin和stdout的value一栏都选为”ps7_uart_1“。点击ok，完成设置。如图所示：
3. 重新编译工程。将串口console重新打开，关闭，再打开。运行工程，然后就可以通过串口终端看到printf函数的输出了。
