What should happen is that the menu should function as normal, offering the user the chance to open another shell, run grub, reboot, etc.
What should happen is that the menu should function as normal, offering the user the chance to open another shell, run grub, reboot, etc.