serial_baud(&stdio_uart, 115200);
// Setup BBB uart port
- Sirq_Bbb = sirq_open(SIRQ_UART1, PTE0, PTE1, 115200);
+ Sirq_Bbb = sirq_open(SIRQ_UART1, PTE0, PTE1, 115200, 0);
// Setup time tags
Tdma_Mbed1 = tdma_open(TDMA_CHAN2, 3, PTD2, PullUp); // TODO -- Should be on PTC