lpc-address = 0x2f8
sirq = 3
socket-id = guests
logsize = 256k
logfile = /var/log/obmc-console1.log