You don't need a RTOS for music performance in 2017. All 3 of those platforms are fine, musicians use them all the time.