之前用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函數的輸出了。
