Re: [PATCH] EFI: strip xen.efi when putting it on the EFI partition

2022-07-07 Thread Jan Beulich
On 07.07.2022 13:58, Wei Chen wrote: > Hi Jan, > > On 2022/7/6 13:44, Henry Wang wrote: >> Hi Jan, >> >>> -Original Message----- >>> Subject: Re: [PATCH] EFI: strip xen.efi when putting it on the EFI partition >>> >>> On 09.06.202

Re: [PATCH] EFI: strip xen.efi when putting it on the EFI partition

2022-07-07 Thread Wei Chen
Hi Jan, On 2022/7/6 13:44, Henry Wang wrote: Hi Jan, -Original Message- Subject: Re: [PATCH] EFI: strip xen.efi when putting it on the EFI partition On 09.06.2022 17:52, Jan Beulich wrote: With debug info retained, xen.efi can be quite large. Unlike for xen.gz there'

Re: [PATCH] EFI: strip xen.efi when putting it on the EFI partition

2022-07-06 Thread Jan Beulich
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

Re: [PATCH] EFI: strip xen.efi when putting it on the EFI partition

2022-07-06 Thread Anthony PERARD
On Thu, Jun 09, 2022 at 05:52:45PM +0200, Jan Beulich wrote: > With debug info retained, xen.efi can be quite large. Unlike for xen.gz > there's no intermediate step (mkelf32 there) involved which would strip > debug info kind of as a side effect. While the installing of xen.efi on > the EFI partit

RE: [PATCH] EFI: strip xen.efi when putting it on the EFI partition

2022-07-05 Thread Henry Wang
Hi Jan, > -Original Message- > Subject: Re: [PATCH] EFI: strip xen.efi when putting it on the EFI partition > > On 09.06.2022 17:52, Jan Beulich wrote: > > With debug info retained, xen.efi can be quite large. Unlike for xen.gz > > there's no intermediate

Re: [PATCH] EFI: strip xen.efi when putting it on the EFI partition

2022-07-05 Thread Julien Grall
Hi Jan, On 05/07/2022 17:03, Jan Beulich wrote: On 09.06.2022 17:52, Jan Beulich wrote: With debug info retained, xen.efi can be quite large. Unlike for xen.gz there's no intermediate step (mkelf32 there) involved which would strip debug info kind of as a side effect. While the installing of xe

Re: [PATCH] EFI: strip xen.efi when putting it on the EFI partition

2022-07-05 Thread Jan Beulich
On 09.06.2022 17:52, Jan Beulich wrote: > With debug info retained, xen.efi can be quite large. Unlike for xen.gz > there's no intermediate step (mkelf32 there) involved which would strip > debug info kind of as a side effect. While the installing of xen.efi on > the EFI partition is an optional st