Может, кто знает точно???
Нужно достоверно узнать, можно ли поставить операционку VxWorks на АРМ9.
Есть отладочная плата AT91RM9200, для которой нужны какие-нибудь демки этой операционки.
О том. что VxWorks коммерческая, я в курсе.
Кто что-нить знает, напишите плз))

На ARM9 поставить, конечно, можно. Только вот BSP для AT91RM9200 придется искать отдельно.

Спасибо за ссылку, я на эту страницу натыкалась, только искала именно для AT91RM9200 и поняла, что вроде как там среда разработки только. И что такое BSP?

BSP (Board Support Package) - набор драйверов для конкретной платформы.
По ссылке был как раз их список.