I dual boot Win 7 and Win 10 TP. If I want to switch OS, all I have to do is to click Restart and I will be given a choice of the 2 OSs. That's nice. The time it takes to switch to the other OS seems to be forever. That's disgusting. Is there any way to speed up the switch over ?