Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-17 Thread Anthony PERARD
On Wed, Oct 16, 2024 at 04:05:00PM +0100, Frediano Ziglio wrote: > On Wed, Oct 16, 2024 at 12:25 PM Anthony PERARD > > wrote: > > On Wed, Oct 16, 2024 at 09:33:32AM +0100, Frediano Ziglio wrote: > > > On Tue, Oct 15, 2024 at 2:51 PM Anthony PERARD > > > wrote: > > > > I can think of one example

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-17 Thread Andrew Cooper
On 17/10/2024 11:58 am, Frediano Ziglio wrote: > On Wed, Oct 16, 2024 at 4:05 PM Frediano Ziglio > wrote: >> On Wed, Oct 16, 2024 at 12:25 PM Anthony PERARD >> wrote: >>> On Wed, Oct 16, 2024 at 09:33:32AM +0100, Frediano Ziglio wrote: On Tue, Oct 15, 2024 at 2:51 PM Anthony PERARD wr

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-17 Thread Frediano Ziglio
On Wed, Oct 16, 2024 at 4:05 PM Frediano Ziglio wrote: > > On Wed, Oct 16, 2024 at 12:25 PM Anthony PERARD > wrote: > > > > On Wed, Oct 16, 2024 at 09:33:32AM +0100, Frediano Ziglio wrote: > > > On Tue, Oct 15, 2024 at 2:51 PM Anthony PERARD > > > wrote: > > > > On Mon, Oct 14, 2024 at 05:32:26

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-16 Thread Frediano Ziglio
On Wed, Oct 16, 2024 at 12:25 PM Anthony PERARD wrote: > > On Wed, Oct 16, 2024 at 09:33:32AM +0100, Frediano Ziglio wrote: > > On Tue, Oct 15, 2024 at 2:51 PM Anthony PERARD > > wrote: > > > On Mon, Oct 14, 2024 at 05:32:26PM +0100, Frediano Ziglio wrote: > > > > On Mon, Oct 14, 2024 at 4:31 PM

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-16 Thread Anthony PERARD
On Wed, Oct 16, 2024 at 09:33:32AM +0100, Frediano Ziglio wrote: > On Tue, Oct 15, 2024 at 2:51 PM Anthony PERARD > wrote: > > On Mon, Oct 14, 2024 at 05:32:26PM +0100, Frediano Ziglio wrote: > > > On Mon, Oct 14, 2024 at 4:31 PM Anthony PERARD > > > wrote: > > > > On Mon, Oct 14, 2024 at 09:53

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-16 Thread Frediano Ziglio
On Tue, Oct 15, 2024 at 2:51 PM Anthony PERARD wrote: > > On Mon, Oct 14, 2024 at 05:32:26PM +0100, Frediano Ziglio wrote: > > On Mon, Oct 14, 2024 at 4:31 PM Anthony PERARD > > wrote: > > > > > > On Mon, Oct 14, 2024 at 09:53:28AM +0100, Frediano Ziglio wrote: > > > > diff --git a/xen/arch/x86/b

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-15 Thread Andrew Cooper
On 14/10/2024 9:53 am, Frediano Ziglio wrote: > diff --git a/xen/tools/combine_two_binaries.py > b/xen/tools/combine_two_binaries.py > new file mode 100755 > index 00..138c59287e > --- /dev/null > +++ b/xen/tools/combine_two_binaries.py > @@ -0,0 +1,207 @@ > > +if args.output is not None:

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-15 Thread Anthony PERARD
On Mon, Oct 14, 2024 at 05:32:26PM +0100, Frediano Ziglio wrote: > On Mon, Oct 14, 2024 at 4:31 PM Anthony PERARD > wrote: > > > > On Mon, Oct 14, 2024 at 09:53:28AM +0100, Frediano Ziglio wrote: > > > diff --git a/xen/arch/x86/boot/Makefile b/xen/arch/x86/boot/Makefile > > > index 1199291d2b..23a

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-14 Thread Jan Beulich
On 14.10.2024 18:32, Frediano Ziglio wrote: > On Mon, Oct 14, 2024 at 4:31 PM Anthony PERARD > wrote: >> >> On Mon, Oct 14, 2024 at 09:53:28AM +0100, Frediano Ziglio wrote: >>> diff --git a/xen/arch/x86/boot/Makefile b/xen/arch/x86/boot/Makefile >>> index 1199291d2b..23ad274c89 100644 >>> --- a/xe

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-14 Thread Frediano Ziglio
On Mon, Oct 14, 2024 at 4:31 PM Anthony PERARD wrote: > > On Mon, Oct 14, 2024 at 09:53:28AM +0100, Frediano Ziglio wrote: > > diff --git a/xen/arch/x86/boot/Makefile b/xen/arch/x86/boot/Makefile > > index 1199291d2b..23ad274c89 100644 > > --- a/xen/arch/x86/boot/Makefile > > +++ b/xen/arch/x86/bo

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-14 Thread Andrew Cooper
On 14/10/2024 4:31 pm, Anthony PERARD wrote: > On Mon, Oct 14, 2024 at 09:53:28AM +0100, Frediano Ziglio wrote: >> diff --git a/xen/arch/x86/boot/Makefile b/xen/arch/x86/boot/Makefile >> index 1199291d2b..23ad274c89 100644 >> --- a/xen/arch/x86/boot/Makefile >> +++ b/xen/arch/x86/boot/Makefile >> @

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-14 Thread Jan Beulich
On 14.10.2024 17:31, Anthony PERARD wrote: > On Mon, Oct 14, 2024 at 09:53:28AM +0100, Frediano Ziglio wrote: >> diff --git a/xen/arch/x86/boot/Makefile b/xen/arch/x86/boot/Makefile >> index 1199291d2b..23ad274c89 100644 >> --- a/xen/arch/x86/boot/Makefile >> +++ b/xen/arch/x86/boot/Makefile >> @@

Re: [PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-14 Thread Anthony PERARD
On Mon, Oct 14, 2024 at 09:53:28AM +0100, Frediano Ziglio wrote: > diff --git a/xen/arch/x86/boot/Makefile b/xen/arch/x86/boot/Makefile > index 1199291d2b..23ad274c89 100644 > --- a/xen/arch/x86/boot/Makefile > +++ b/xen/arch/x86/boot/Makefile > @@ -1,4 +1,5 @@ > obj-bin-y += head.o > +obj-bin-y +

[PATCH v4 2/6] x86/boot: create a C bundle for 32 bit boot code and use it

2024-10-14 Thread Frediano Ziglio
The current method to include 32 bit C boot code is: - compile each function we want to use into a separate object file; - each function is compiled with -fpic option; - convert these object files to binary files. This operation removes GOP which we don't want in the executable; - a small assembl