On Fri, 2016-12-16 at 10:32 +0800, Dave Young wrote: > On 12/15/16 at 12:28pm, Jean Delvare wrote: > > Hi Andy, > > > > On Fri,??2 Dec 2016 21:54:16 +0200, Andy Shevchenko wrote: > > > Until now kexec'ed kernel has no clue where to look for DMI entry > > > point. > > > > > > Pass it via kernel command line parameter in the same way as it's > > > done for ACPI > > > RSDP. > > > > 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. -- Andy Shevchenko <andriy.shevchenko at linux.intel.com> Intel Finland Oy