wondering about diy platforms

As the Arduino platform/IDE was designed to run on all three of the popular PC OSs, I don't think that any one OS has an advantage over the others from an Arduino perspective. Use the OS you like or have access to.

Lefty