source $prefix/menu/grub.cfg