Is there an industry standard name for the hex file output format Keil uses for an 8051? In the target configuration, its called "HEX-80", but I'm not so sure that's the official name for this format. Any help appreciated.
I checked and we do have PK51. To test, I checked the "Used Extended Linker (LX51)" option in the Device tab and while the Output tab then offered the additional HEX-386 in the drop list, it did not offer any controls where buffer fill could be specified.