如果没有的话，请问开发vxworks需要什么开发板呢？
------解决方案--------------------------------------------------------
ARM11啊，是可以用vxWorks的，但可能要根据硬件特性修改bsp的
------解决方案--------------------------------------------------------
有阿，就是他们做的http://www.2beanet.com
TE6410 VxWorks实验大纲
如果需要图形功能，他们还做了这个：
MINI6410 VxWorks实验大纲