name = "guest0"
kernel = "/boot/Image"
ramdisk = "/boot/xen-rootfs.cpio.gz"
extra = "root=/dev/ram0 init=/bin/sh console=hvc0 rdinit=/sbin/init"
# Initial memory allocation (MB)
memory = 1600
vcpus = 2
dtdev = [ "/axi/pcie@fd0e0000" ]
device_tree = "/etc/xen/pci_passthrough.dtb"
irqs = [ 146, 147, 148, 149, 150 ]
iomem = [ "0xfd0e0,1", "0xfd480,1", "0xe0000,1000", "0x600000,1000", "0x8000000,1000"]