Re: [PATCH 0/2] ArmVirtPkg/HighMemDxe: fix issues reported by Michael

[Ard Biesheuvel <ard.biesheuvel@linaro.org>]

On 21 March 2017 at 09:23, Ard Biesheuvel <ard.biesheuvel@linaro.org> wrote:
> This fixes two separate issues reported by Michael:
> - setting EFI_MEMORY_XP via the GCD memory space map always fails,
> - patchable PCD updates do not propagate to other modules.
>
> Ard Biesheuvel (2):
>   ArmVirtPkg/HighMemDxe: use CPU arch protocol to apply memprotect
>     policy
>   ArmVirtPkg/HighMemDxe: check new regions against GCD memory space map
>
>  ArmVirtPkg/HighMemDxe/HighMemDxe.c   | 59 ++++++++++++++------
>  ArmVirtPkg/HighMemDxe/HighMemDxe.inf |  2 +-
>  2 files changed, 43 insertions(+), 18 deletions(-)
>

Pushed as

60bd1e1269ff ArmVirtPkg/HighMemDxe: use CPU arch protocol to apply
memprotect policy
5d5a19028a55 ArmVirtPkg/HighMemDxe: check new regions against GCD
memory space map

Thanks,