Hello,
if you configure the output format to s-rec, then the .hex file contains an S-Record/S19 content.
It is odd that ARM Inc. has not set up the Eclipse panel that it changes the output extension.
So even if it has .hex extension, it contains the correct content.
I hope this helps.