name = "Debian"
kernel = "/mnt/mmcblk0p1/Image"
disk = [ 'phy:/dev/mmcblk0,sda,w' ]
root = "earlycon clk_ignore_unused console=ttyPS0,115200 root=/dev/xvda2 rw earlyprintk rootfstype=ext4 rootwait"
extra = "console=hvc0 rdinit=/sbin/init"
dtdev = [ "/amba/i2c@ff030000" ]
device_tree = "/tmp/i2c_pass.dtb"
irqs = [ 50 ]
iomem = [ "0xff030,1" ]
memory = 256
vcpus = 2
vif = [ 'bridge=xenbr0' ]