Ak pouzivas jeden OS len vynimocne, tak klavesa bootmenu BIOSu je asi najlepsie riesenie (to uz sa pisalo v prvej reakcii)