On 19/08/2020 23:50, Roman Shaposhnik wrote: > Hi! > > below you can see a trace of Xen 4.14.0 failing on Dell IoT Gateway 3001 > without efi=no-rs. Please let me know if I can provide any additional > information.
Just to be able to get all datapoints, could you build Xen with CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP and see if the failure mode changes? Thanks, ~Andrew