I've been playing with KDS and am having a hard time finding where to create an output HEX file like in CW. Is there an option or do I need to run an external utility on the .elf file to generate a HEX, S19, etc.
see section 'Creating Binary Files with GNU ARM Eclipse Plugins' in
Binary Files for the mbed Bootloader with Eclipse and GNU ARM Eclipse Plugins | MCU on Eclipse
For anyone who has come here recently, things have changed a bit in kds_v3. To enable the generation of .srec files (e.g. as input to a ROM or flash-resident bootloader), navigate to:
Projects => Properties => C/C++ Build => Settings => Toolchains
... and check the [ ] Create Flash Image box. (While there, you might want to enable the [ ] Print size box as well.)
Retrieving data ...