Arnaud Charlet Mon, 01 May 2017 09:12:51 -0700
FWIW, at AdaCore we're using e500v2-wrs-vxworks for our VxWorks toolchain for SPE.
Arno