name='windows'
builder='hvm'
vcpus=4
memory=9216
disk=['/dev/sdc,,xvda,w']
vif=[
'bridge=xenbr0,model=e1000,mac=00:16:3e:13:ac:02'
]
boot='cd'
pae=1
nx=1
videoram=1024
stdvga=1
sdl=1
vnc=0
usb=1
usbdevice="tablet"
localtime=1
xen_platform_pci=1

# 0:d:0.0-1 are the VGA and HDMI audio devices from the 6990 that are wired to its video outputs, 0:e:0.0-1 are the other two on the same card, not listed here due to my BSOD problems. 0:3-6:0.0 are USB controllers.

pci = [
'0:d:0.0', '0:d:0.1',
'0000:3:00.0',
'0000:4:00.0',
'0000:5:00.0',
'0000:6:00.0'
]