A while ago I was at a LAN and this guy was able to run Linux and Windows at the same time and in order to switch between the OS' he used a hotkey on his keyboard and it did this whole animation thing between Linux and Windows. How would I go by doing this, if possible?