On 10.06.2025 12:12, Frediano Ziglio wrote: > For xen.gz file we strip all symbols and have an additional > xen-syms file version with all symbols. > Make xen.efi more coherent stripping all symbols too.
And the other difference (compressed vs not) still remains. > xen.efi.elf can be used for debugging. Hmm, that's the result of ... > --- a/xen/arch/x86/Makefile > +++ b/xen/arch/x86/Makefile > @@ -238,6 +238,7 @@ endif > > $@.map > ifeq ($(CONFIG_DEBUG_INFO),y) > $(if $(filter --strip-debug,$(EFI_LDFLAGS)),:$(space))$(OBJCOPY) -O > elf64-x86-64 $@ $@.elf > + $(if $(filter --strip-debug,$(EFI_LDFLAGS)),:$(space))$(STRIP) $@ > endif > rm -f $(dot-target).[0-9]* $(@D)/..$(@F).[0-9]* > ifeq ($(CONFIG_XEN_IBT),y) ... objcopy. Having looked at the involved code in that utility, I mistrust its output from such a conversion to really be an exact representation of the input. IOW I'd much rather use the original file. As a possible compromise, could we perhaps merely strip debug info, but retain the symbol table, matching the prior default for $(efi-strip-opt)? Jan