# Make booting into ACRN the default. Set the following variable to 0 or 1
# explicitly to avoid the message warning from being printed.
#
#ACRN_OVERRIDE_GRUB_DEFAULT=
#

case "${GRUB_DISTRIBUTOR}" in
    "")
        OS=GNU/Linux
        ;;
    Ubuntu|Kubuntu)
        OS="${GRUB_DISTRIBUTOR}"
        ;;
    *)
        OS="${GRUB_DISTRIBUTOR} GNU/Linux"
        ;;
esac

if [ "$ACRN_OVERRIDE_GRUB_DEFAULT" = "" ]; then
	echo "WARNING: GRUB_DEFAULT changed to boot into ACRN by default!"
	echo "         Edit /etc/default/grub.d/acrn.cfg to avoid this warning."
	ACRN_OVERRIDE_GRUB_DEFAULT=1
fi
if [ "$ACRN_OVERRIDE_GRUB_DEFAULT" = "1" ]; then
	GRUB_DEFAULT="${OS} with ACRN hypervisor"
fi

# Examples: Uncomment, set or extend respective ACRN specific GRUB configuration:
# see also /usr/share/doc/grub-acrn/README.Debian

# extra ACRN parameters
# export GRUB_CMDLINE_ACRN="uart=bdf@0xc1"

# kernel path setting for pre-launched VM, tagged with zephyr_image
# export GRUB_ACRN_MOD_zephyr_image="/boot/zephyr.img"