• https://askubuntu.com/questions/16042/how-to-get-to-the-grub-menu-at-boot-time