On 06.07.2022 17:17, Anthony PERARD wrote: > On Thu, Jun 09, 2022 at 05:52:45PM +0200, Jan Beulich wrote: >> --- a/xen/Makefile >> +++ b/xen/Makefile >> @@ -465,6 +465,22 @@ endif >> .PHONY: _build >> _build: $(TARGET)$(CONFIG_XEN_INSTALL_SUFFIX) >> >> +# Strip >> +# >> +# INSTALL_EFI_STRIP, if defined, will cause xen.efi to be stripped before it >> +# is installed. If INSTALL_EFI_STRIP is '1', then the default option >> +# --strip-debug will be used. Otherwise, INSTALL_EFI_STRIP value will be >> used >> +# as the option(s) to the strip command. > > It would be useful to also document INSTALL_EFI_STRIP in ./INSTALL or in > ./docs/misc/efi.pandoc (efi.pandoc is where EFI_VENDOR is documented for > example, so probably a better place for the doc of the new option).
Well, imo it's far preferable to install _something_ that works (even if it consumes more space) than not installing anything. I'll look into addressing the other two comments you gave. Jan
