>>> On 09.06.15 at 12:36, <ross.lagerw...@citrix.com> wrote:
> ping
I'm still waiting for the ARM maintainers to ack ...
>> --- a/xen/arch/arm/efi/efi-boot.h
>> +++ b/xen/arch/arm/efi/efi-boot.h
>> @@ -522,6 +522,11 @@ static void __init efi_arch_blexit(void)
>> efi_bs->FreePool(memmap);
>> }
>>
>> +static void __init efi_arch_halt(void)
>> +{
>> + stop_cpu();
>> +}
>> +
>> static void __init efi_arch_load_addr_check(EFI_LOADED_IMAGE *loaded_image)
>> {
>> if ( (unsigned long)loaded_image->ImageBase & ((1 << 12) - 1) )
... this.
Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
