On Fri, 16 Dec 2016 14:18:58 +0200, Andy Shevchenko wrote: > On Fri, 2016-12-16 at 10:32 +0800, Dave Young wrote: > > On 12/15/16 at 12:28pm, Jean Delvare wrote: > > > I am no kexec expert but this confuses me. Shouldn't the second > > > kernel have access to the EFI systab as the first kernel does? It > > > includes many more pointers than just ACPI and DMI tables, and it > > > would seem inconvenient to have to pass all these addresses > > > individually explicitly. > > > > Yes, in modern linux kernel, kexec has the support for EFI, I think it > > should work naturally at least in x86_64. > > Thanks for this good news! > > Unfortunately Intel Galileo is 32-bit platform. If it was done for X86_64 then maybe it can be generalized to X86? -- Jean Delvare SUSE L3 Support