lpc-address = 0x3f8
sirq = 4
socket-id = console0