@rudi not surprising, given that nearly all open source tool chains for embedded I know of work by building everything into a static ELF file before it becomes a device-specific format (usually a "memory image")
@jhwgh1968@rudi fun fact: the Wii SDK worked that way, and at least one developer repeatedly shipped both the final file AND the elf file. With debugging symbols!