# GRUB 2 config file
terminal_output console
if serial --unit=0 --speed=115200; then
terminal_input --append serial_com0
terminal_output --append serial_com0
fi
set default="0"
set timeout="5"
set timeout_style="menu"
if [ -s $prefix/grubenv ]; then
load_env --file $prefix/grubenv --skip-sig
set has_env="1"
if [ -n "${saved_entry}" ]; then
set default="${saved_entry}"
fi
else
set has_env="0"
echo "WARN: failed to load env. Default choice will NOT be saved!"
fi
function savedefault {
saved_entry="${chosen}"
save_env --file $prefix/grubenv saved_entry
}