diff --git a/Pixel3XL/AcpiTables/AcpiTables.inf b/Pixel3XL/AcpiTables/AcpiTables.inf
index 5b18fda..b050a6b 100644
--- a/Pixel3XL/AcpiTables/AcpiTables.inf
+++ b/Pixel3XL/AcpiTables/AcpiTables.inf
@@ -42,6 +42,7 @@
   gArmPlatformTokenSpaceGuid.PcdCoreCount
   gArmTokenSpaceGuid.PcdGicDistributorBase
   gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
+  gArmTokenSpaceGuid.PcdGicRedistributorsBase
 
   gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum
   gArmTokenSpaceGuid.PcdArmArchTimerIntrNum
diff --git a/Pixel3XL/AcpiTables/Madt.aslc b/Pixel3XL/AcpiTables/Madt.aslc
index dc81741..efcc3ed 100644
--- a/Pixel3XL/AcpiTables/Madt.aslc
+++ b/Pixel3XL/AcpiTables/Madt.aslc
@@ -74,6 +74,7 @@
 #if 0
     EFI_ACPI_6_0_GIC_MSI_FRAME_STRUCTURE                  MsiFrame;
 #endif
+    EFI_ACPI_6_1_GICR_STRUCTURE                           Gicr;
   } MULTIPLE_APIC_DESCRIPTION_TABLE;
 
   #pragma pack ()
@@ -128,6 +129,14 @@
 #if 0
     EFI_ACPI_6_0_GIC_MSI_FRAME_INIT(0, ARM_JUNO_GIV2M_MSI_BASE, 0, ARM_JUNO_GIV2M_MSI_SPI_COUNT, ARM_JUNO_GIV2M_MSI_SPI_BASE)
 #endif
+    /* GIC Redistributor */
+    {
+      EFI_ACPI_6_1_GICR,                         // UINT8 Type
+      sizeof(EFI_ACPI_6_1_GICR_STRUCTURE),       // UINT8 Length
+      EFI_ACPI_RESERVED_WORD,                    // UINT16 Reserved
+      FixedPcdGet64 (PcdGicRedistributorsBase),  // UINT64 DiscoveryRangeBaseAddress
+      0x00100000,                                // UINT32 DiscoveryRangeLength
+    }
   };
 #endif