[eYrKEC2]

If the activities are distinct, dual boot. I do all my dev in linux and boot into windows for gaming.

Dev in linux is so much nicer for me than dev in Windows.