Re: [Xen-devel] EFI development issues

2020-01-17 Thread Jan Beulich
On 13.01.2020 17:02, Andrew Cooper wrote: > First, there is a dependency tracking bug in the build system.  Edits to > xen/arch/x86/efi/efi-boot.h don't cause xen.efi to be regenerated.  From > what I can tell, the file doesn't even get recompiled, because syntax > errors even go unnoticed. I've

Re: [Xen-devel] EFI development issues

2020-01-17 Thread Jan Beulich
On 16.01.2020 21:28, Andrew Cooper wrote: > On 13/01/2020 16:46, Jan Beulich wrote: >> On 13.01.2020 17:02, Andrew Cooper wrote: >>>   (Waiting for a >>> keypress on StdIn however does work, which is how I eventually diagnosed >>> that it was an output problem.)  Skipping this logic allows

Re: [Xen-devel] EFI development issues

2020-01-16 Thread Andrew Cooper
On 13/01/2020 16:46, Jan Beulich wrote: > On 13.01.2020 17:02, Andrew Cooper wrote: >> My recent boot pagetable changes have caused me to work with the EFI >> build of Xen rather more than previously. >> >> First, there is a dependency tracking bug in the build system.  Edits to >>

Re: [Xen-devel] EFI development issues

2020-01-13 Thread Jan Beulich
On 13.01.2020 17:02, Andrew Cooper wrote: > My recent boot pagetable changes have caused me to work with the EFI > build of Xen rather more than previously. > > First, there is a dependency tracking bug in the build system.  Edits to > xen/arch/x86/efi/efi-boot.h don't cause xen.efi to be

[Xen-devel] EFI development issues

2020-01-13 Thread Andrew Cooper
Hello, My recent boot pagetable changes have caused me to work with the EFI build of Xen rather more than previously. First, there is a dependency tracking bug in the build system.  Edits to xen/arch/x86/efi/efi-boot.h don't cause xen.efi to be regenerated.  From what I can tell, the file