Raspberry Pi 3

https://labs.windriver.com/downloads/wrsdk-vxworks7-docs/README-raspberrypi3b.html