| # For VUART devices, we can specify the LPC address and SIRQ parameters | |
| lpc-address = 0x3f8 | |
| sirq = 4 | |
| # For real UART devices, we can specify the baud rate | |
| # baud = 115200 | |
| # To mirror to a local tty device (typically a hardware UART), set local-tty | |
| # local-tty = ttyS0 |