pcr/xen/efi-xen.cfg


1
2
3
4
5
6
7
8

[global]
default=xen

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