I guess you can ask the dealer from where you got the DK3200 to give you an evaluation copy of the C compiler, which would give you both the obj and hex files. You can use Keil C compiler for the same. I dont rember if you get is along with the DK3200 kit. Check it out Wish you good luck and prosperity in your business!
For DK3200 using UPSD3200, you need to have Keil C compiler. With this, you can compile may devices, e.g Philips 5051 core family , Philips 8032 famliy processors or Cygnal processors etc. So you are not restricted with only 1 type of devices. You get a demo CD from them which has got demo programs and tutorials for using the Keil compiler. Have fun !