#echo
#echo Switching to GNU GRUB-legacy
#echo
#machine exec grub /boot/grub/stage2
echo
echo Switching to GNU GRUB 2
echo
machine exec grub /boot/grub/core.img