[global]
default=sprout

[sprout]
options=clocksource=tsc smp=on smt=on ioapic_ack=new dom0_vcpus_pin=on spec-ctrl=gds-mit=no noreboot console=com1
kernel=\VMLINUZ console=hvc0
ramdisk=\INITRAMFS