Похоже DS-5 вытесняет RVDS.
В версии 5.4 появилось разделение на обычную и pro. В pro добавлен RVCT4.1
А в конце мая появилась версия 5.5 туда добавлен новый компилер ARM compiler v5, это явный приемник RVCT.
Но сама версия 5.5 странная - в 2 раза меньше 5.4 (правда образ для beagle board и др. вынесли отдельно). Плюс там нет документации на компилер, т.е. новый компилер есть, а документации нет

вообще.