Many people, we are sure, remember the early days where everyone was struggling to setup their PC in a way that it had two Operating Systems (Windows & Linux) on a Dual Boot mode. People may still struggle for that matter! If it was correctly setup GRUB would display an option to choose the OS to boot. [...]