GRUB version 2.12
Use the ▲ and ▼ keys to select which entry is highlighted.
Press Enter to boot the selected OS, 'e' to edit commands
before booting or 'c' for a command-line. ESC to return previous
menu.