[global] default=xen [xen] options=console=vga dom0_mem=1024M,max:1024M dom0_max_vcpus=4 loglvl=all noreboot kernel=vmlinuz-linux-libre root= rw ramdisk=initramfs-linux-libre.img