Sometimes, I don't like the Raspberry Pi to reboot into the last operating system used automatically , after 10 seconds. I want to be able to either prevent this entirely and/or choose a custom start timeout. Is there a software to put on the pi for this? Or is this even possible? I have been trying to research for about a week now, with no luck. Any help? I am using the newest version of Debian Stretch, the Raspbian OS, and the newest version of OSMC (Open Source Media Center), as the three operating systems that I use.