I have found out that the cables needed for the development board are 25 pin, male to male, straight through. Infineon has indicated that they will send us cables. We now have the information needed to build or buy the cables, if necessary - but I expect that they will send some.