westfw:
debug information would be useful only for an arduino simulator that would use the elf instead of the hex. Am I right ?
Theoretically, a "live" debugger cam get both binary and debugging info from the .elf file, or assume that the .jex file and .elf file match. I'm pretty sure that the Atmel debuggers actually do that...
You mean the debugger assumes the code currently running on the arduino matches the hex-with-debug-info on the PC. Makes sense... Still I don't get how breakpoints would be handled, but that's just me needing to read something about this stuff...