path: root/pcr/xen/efi-xen.cfg

[global]
default=xen

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