The problem described here is a symptom of incorrect target server option specification.
You need to be sure you specify the proper kernel image file and the proper processor, when creating the target server.
For 2013, this is well covered in the "Configuring WindRiver Workbench" section of WPI's Getting Started with C++.
Check out
http://wpilib.screenstepslive.com/s/...iver-workbench for the target server info section.
Team 3765 was getting this error initially, and the error went away after the proper kernel image file was referenced in the target server creation.