On 25/11/2015 13:34, jiewen yao wrote:
> @@ -785,7 +785,7 @@ Gen4GPageTable (
> // Set Page Directory Pointers
> //
> for (Index = 0; Index < 4; Index++) {
> - Pte[Index] = (UINTN)PageTable + EFI_PAGE_SIZE * (Index + 1) + IA32_PG_P;
> + Pte[Index] = (UINTN)PageTable + EFI_PAGE_SIZE * (Index + 1) +
> PAGE_ATTRIBUTE_BITS;
> }
> Pte += EFI_PAGE_SIZE / sizeof (*Pte);
>
For PAE you must not set bit 1 here. See the fix I've posted, it can be
included directly in this patch when you repost (so you still have two
patches, "Always set RW+P bit" and "Always set WP").
Thanks,
Paolo
_______________________________________________
edk2-devel mailing list
edk2-devel@lists.01.org
https://lists.01.org/mailman/listinfo/edk2-devel
