1keyboard: Input.PS2Keyboard @ kmi0
2
3mouse: Input.PS2Mouse @ kmi1
4
5usbHub: USBDeprecated.UsbHub @ usbEhci 1
6    nrPorts: 8
7
8usbMouse: USBDeprecated.USBMouse @ usbHub 2
9
10usbKeyboard: USBDeprecated.USBKeyboard @ usbHub 1
11
12controller: Miscellaneous.EmulatorController @ sysbus 0x20000000
13
14lcd: Video.PL110 @ sysbus <0x10020000, +0x1000>
15    screenWidth: 1024
16    screenHeight: 768
17
18