Danke, Leute. Jepp, Dualboot ist in der Tat die einfachste Lösung. Denke auch, dass ich das so handhaben werde, sobald mich die Gaming-Lust überkommt und ich einen Upgrade vollziehe.
Soundtechnisch ist via Displayport nichts zu machen, richtig? Schade, da ich den Server via Displayportkabel an...