# 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

# Specify log size. Default is 16kB if unset. Takes the following suffixes:
#   No suffix: byte
#   "k": kilobyte = 1024B
#   "M": megabytes = 1024kB
# logsize = 128k