.ELF no Keil

Alguem sabe como faço para obter um arquivo do tipo .elf no keil para usar no debug do Proteus?
Sei que posso usar o .hex, mas quero .elf para obter maiores informações durante o debug.
Afinal tem outro tópico sem solução e quero dar uma atenção a isso.
http://www.asm51.eng.br/phpbb/viewtopic.php?t=1848
Sei que posso usar o .hex, mas quero .elf para obter maiores informações durante o debug.
Afinal tem outro tópico sem solução e quero dar uma atenção a isso.
http://www.asm51.eng.br/phpbb/viewtopic.php?t=1848