On 2018.12.12 20:52, Ard Biesheuvel wrote:
On Mon, 10 Dec 2018 at 13:39, Pete Batard <p...@akeo.ie> wrote:

Contributed-under: TianoCore Contribution Agreement 1.1
Signed-off-by: Pete Batard <p...@akeo.ie>
---
  Platform/Broadcom/Bcm283x/AcpiTables/AcpiTables.inf |  51 ++
  Platform/Broadcom/Bcm283x/AcpiTables/Csrt.aslc      | 337 +++++++++++++
  Platform/Broadcom/Bcm283x/AcpiTables/Dbg2.aslc      |  32 ++
  Platform/Broadcom/Bcm283x/AcpiTables/Dsdt.asl       | 523 ++++++++++++++++++++
  Platform/Broadcom/Bcm283x/AcpiTables/Fadt.aslc      |  50 ++
  Platform/Broadcom/Bcm283x/AcpiTables/Gtdt.aslc      |  31 ++
  Platform/Broadcom/Bcm283x/AcpiTables/Madt.aslc      |  60 +++
  Platform/Broadcom/Bcm283x/AcpiTables/Pep.asl        |  92 ++++
  Platform/Broadcom/Bcm283x/AcpiTables/Pep.c          |  84 ++++
  Platform/Broadcom/Bcm283x/AcpiTables/Pep.h          | 126 +++++
  Platform/Broadcom/Bcm283x/AcpiTables/Platform.h     |  82 +++
  Platform/Broadcom/Bcm283x/AcpiTables/Rhpx.asl       | 201 ++++++++
  Platform/Broadcom/Bcm283x/AcpiTables/Sdhc.asl       | 105 ++++
  Platform/Broadcom/Bcm283x/AcpiTables/Spcr.asl       |  53 ++
  Platform/Broadcom/Bcm283x/AcpiTables/Uart.asl       | 155 ++++++
  15 files changed, 1982 insertions(+)


I'm not crazt about the hexdump-style files in this patch but I can
live with it.

One remark below.

diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/AcpiTables.inf 
b/Platform/Broadcom/Bcm283x/AcpiTables/AcpiTables.inf
new file mode 100644
index 000000000000..db0270270cf9
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/AcpiTables.inf
@@ -0,0 +1,51 @@
+#/** @file
+#
+#  ACPI table data and ASL sources required to boot the platform.
+#
+#  Copyright (c) 2017, Andrey Warkentin <andrey.warken...@gmail.com>
+#  Copyright (c) Microsoft Corporation. All rights reserved.
+#
+#  This program and the accompanying materials
+#  are licensed and made available under the terms and conditions of the BSD 
License
+#  which accompanies this distribution.  The full text of the license may be 
found at
+#  http://opensource.org/licenses/bsd-license.php
+#
+#  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+#  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+#
+#**/
+
+[Defines]
+  INF_VERSION                    = 0x00010005

I'll mention it here but it applies everywhere: please use 0x0001001A
as the INF version.
(In general, use the latest published version of each file type)

Good point. We'll fix that.

+  BASE_NAME                      = AcpiTables
+  FILE_GUID                      = 7E374E25-8E01-4FEE-87F2-390C23C606CD
+  MODULE_TYPE                    = USER_DEFINED
+  VERSION_STRING                 = 1.0
+
+#
+# The following information is for reference only and not required by the 
build tools.
+#
+#  VALID_ARCHITECTURES           = AARCH64
+#
+
+[Sources]
+  Platform.h
+  Madt.aslc
+  Fadt.aslc
+  Dbg2.aslc
+  Gtdt.aslc
+  Dsdt.asl
+  Csrt.aslc
+  Spcr.asl
+
+[Packages]
+  MdePkg/MdePkg.dec
+  EmbeddedPkg/EmbeddedPkg.dec
+
+[FixedPcd]
+  gEmbeddedTokenSpaceGuid.PcdInterruptBaseAddress
+
+[BuildOptions]
+  # The default '-mcmodel=small' used with DEBUG produces a GenFw error when 
compiling CSRT.acpi:
+  # "AARCH64 small code model requires identical ELF and PE/COFF section offsets 
modulo 4 KB."
+  GCC:DEBUG_*_AARCH64_CC_FLAGS = -mcmodel=tiny
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Csrt.aslc 
b/Platform/Broadcom/Bcm283x/AcpiTables/Csrt.aslc
new file mode 100644
index 000000000000..926942ec8da3
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Csrt.aslc
@@ -0,0 +1,337 @@
+/** @file
+ *
+ *  Core System Resource Table (CSRT)
+ *
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+#include "Platform.h"
+
+#define DMA_MAX_REQ_LINES 32
+
+#pragma pack(push, 1)
+
+//------------------------------------------------------------------------
+// DMA Controller Vendor Data for RPi3
+//------------------------------------------------------------------------
+typedef struct
+{
+    UINT32 Length;
+    UINT32 Type;
+    UINT64 ChannelsBaseAddress;
+    UINT32 ChannelsBaseSize;
+    UINT64 ControllerBaseAddress;
+    UINT32 ControllerBaseSize;
+    UINT32 ChannelCount;
+    UINT32 ControllerInterrupt;
+    UINT32 MinimumRequestLine;
+    UINT32 MaximumRequestLine;
+    BOOLEAN CacheCoherent;
+} DMA_CONTROLLER_VENDOR_DATA;
+
+//------------------------------------------------------------------------
+// DMA Controller on RPi3
+//------------------------------------------------------------------------
+typedef struct
+{
+    EFI_ACPI_5_0_CSRT_RESOURCE_DESCRIPTOR_HEADER DmaControllerHeader;
+    DMA_CONTROLLER_VENDOR_DATA ControllerVendorData;
+} RD_DMA_CONTROLLER;
+
+//------------------------------------------------------------------------
+// DMA Channel Vendor Data for RPi3
+//------------------------------------------------------------------------
+typedef struct
+{
+    UINT32 ChannelNumber;
+    UINT32 ChannelInterrupt;
+    UINT16 IsReservedChannel;
+    UINT16 NoSrcNoDestAddrIncr;
+} DMA_CHANNEL_VENDOR_DATA;
+
+//------------------------------------------------------------------------
+// DMA Channel on RPi3
+//------------------------------------------------------------------------
+typedef struct
+{
+    EFI_ACPI_5_0_CSRT_RESOURCE_DESCRIPTOR_HEADER DmaChannelHeader;
+    DMA_CHANNEL_VENDOR_DATA ChannelVendorData;
+} RD_DMA_CHANNEL;
+
+//------------------------------------------------------------------------
+// DMA Resource Group on RPi3
+//------------------------------------------------------------------------
+
+typedef struct
+{
+    EFI_ACPI_5_0_CSRT_RESOURCE_GROUP_HEADER ResGroupHeader;
+    RD_DMA_CONTROLLER DmaController;
+    RD_DMA_CHANNEL DmaChannels[RPI3_DMA_CHANNEL_COUNT];
+} RG_DMA;
+
+//----------------------------------------------------------------------------
+// CSRT table structure for RPi3 platform - current revision only includes DMA
+//----------------------------------------------------------------------------
+typedef struct
+{
+// Standard ACPI Header
+    EFI_ACPI_DESCRIPTION_HEADER CsrtHeader;
+
+// DMA Resource Group
+    RG_DMA DmaResourceGroup;
+
+} EFI_ACPI_5_0_CSRT_TABLE;
+
+
+
+EFI_ACPI_5_0_CSRT_TABLE Csrt =
+{
+    //------------------------------------------------------------------------
+    // ACPI Table Header
+    //------------------------------------------------------------------------
+    {
+        EFI_ACPI_5_0_CORE_SYSTEM_RESOURCE_TABLE_SIGNATURE,    // Signature 
"CSRT"
+        sizeof(EFI_ACPI_DESCRIPTION_HEADER) + sizeof(RG_DMA), // Length
+        EFI_ACPI_5_0_CSRT_REVISION,     // Revision
+        0x00,                           // Checksum calculated at runtime.
+        EFI_ACPI_OEM_ID,                // OEMID is a 6 bytes long field 
"BC2836"
+        EFI_ACPI_OEM_TABLE_ID,          // OEM table identification(8 bytes long) 
"RPI3EDK2"
+        EFI_ACPI_OEM_REVISION,          // OEM revision number.
+        EFI_ACPI_CREATOR_ID,            // ASL compiler vendor ID.
+        EFI_ACPI_CREATOR_REVISION       // ASL compiler revision number.
+    },
+
+    //------------------------------------------------------------------------
+    // DMA Resource Group
+    //------------------------------------------------------------------------
+    {
+
+        
//------------------------------------------------------------------------
+        // DMA Resource Group Header
+        
//------------------------------------------------------------------------
+        {
+            sizeof(RG_DMA),                 // Resource Group Length
+            EFI_ACPI_VENDOR_ID,             // VendorId
+            0,                              // SubvendorId
+            EFI_ACPI_CSRT_DEVICE_ID_DMA,    // DeviceId 9
+            0,                              // SubdeviceId
+            0,                              // Revision
+            0,                              // Reserved
+            0                               // SharedInfoLength
+        },
+
+
+        
//-------------------------------------------------------------------------------
+        // Resource Descriptor - DMA Controller
+        
//-------------------------------------------------------------------------------
+        {
+            {
+                sizeof(RD_DMA_CONTROLLER),                        // Length of 
this Resource Descriptor
+                EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,                  // Type for 
this resource 3=DMA
+                EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CONTROLLER,    // Subtype 
for this resource 1=DMA Controller
+                EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP+0,           // 
ResourceId - 1st DMA controller
+            },
+            {
+                sizeof(DMA_CONTROLLER_VENDOR_DATA),               // 
controller vendor data here
+                1,
+                0x3F007000,                   // Base address for channels
+                RPI3_DMA_CHANNEL_COUNT*0x100, // Base size = Number of 
channels x 0x100 size for each channel
+                0x3F007FE0,                   // Base address for controller
+                8,                            // Base size = two registers
+                RPI3_DMA_USED_CHANNEL_COUNT,
+                0,                            // cannot use controller 
interrupt
+                0,                            // Minimum Request Line
+                DMA_MAX_REQ_LINES-1,          // Maximum Request Line
+                FALSE,
+            },
+        },
+
+        
//------------------------------------------------------------------------
+        // Resource Descriptor(s) - DMA Channels 0 to n-1
+        
//------------------------------------------------------------------------
+        {
+
+            // channel 0
+            {
+                {
+                    sizeof(RD_DMA_CHANNEL),                     // Length of 
this Resource Descriptor
+                    EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,            // Type for 
this resource 3=DMA
+                    EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CHANNEL, // Subtype for 
this resource 0=DMA Channel
+                    EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP+1,     // ResourceId
+                },
+                {
+                    0,        // channel vendor data here
+                    0x30,     // 16+32 dma_int[0]
+                    0,
+                    0
+                },
+            },
+
+            // channel 1 reserved
+            {
+                {
+                    sizeof(RD_DMA_CHANNEL),
+                    EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,
+                    EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CHANNEL,
+                    EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP+2,            // 
ResourceId
+                },
+                {
+                    1,        // channel vendor data here
+                    0x31,     // 17+32 dma_int[1]
+                    1,
+                    0
+                },
+            },
+
+            // channel 2 - VC4 use only
+            {
+                {
+                    sizeof(RD_DMA_CHANNEL),
+                    EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,
+                    EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CHANNEL,
+                    EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP+3,        // 
ResourceId
+                },
+                {
+                    2,        // channel vendor data here
+                    0x32,     // 18+32 dma_int[2]
+                    1,
+                    0
+                },
+            },
+
+            // channel 3 - VC4 use only
+            {
+                {
+                    sizeof(RD_DMA_CHANNEL),
+                    EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,
+                    EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CHANNEL,
+                    EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP+4,
+                },
+                {
+                    3,        // channel vendor data here
+                    0x33,     // 19+32 dma_int[3]
+                    1,
+                    0
+                },
+            },
+
+            // channel 4
+            {
+                {
+                    sizeof(RD_DMA_CHANNEL),
+                    EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,
+                    EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CHANNEL,
+                    EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP+5,
+                },
+                {
+                    4,        // channel vendor data here
+                    0x34,     // 20+32 dma_int[4]
+                    0,
+                    1         // SD host controller candidate
+                },
+            },
+
+            // channel 5
+            {
+                {
+                    sizeof(RD_DMA_CHANNEL),
+                    EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,
+                    EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CHANNEL,
+                    EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP+6,
+                },
+                {
+                    5,        // channel vendor data here
+                    0x35,     // 21+32 dma_int[5]
+                    0,
+                    0
+                },
+            },
+
+            // channel 6 is reserved
+            {
+                {
+                    sizeof(RD_DMA_CHANNEL),
+                    EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,
+                    EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CHANNEL,
+                    EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP+7,
+                },
+                {
+                    6,        // channel vendor data here
+                    0x36,     // 22+32 dma_int[6]
+                    1,
+                    0
+                },
+            },
+
+            // channel 7 is reserved
+            {
+                {
+                    sizeof(RD_DMA_CHANNEL),
+                    EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,
+                    EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CHANNEL,
+                    EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP+8,
+                },
+                {
+                    7,        // channel vendor data here
+                    0x37,     // 23+32 dma_int[7]
+                    1,
+                    0
+                },
+            },
+
+            // channel 8
+            {
+                {
+                    sizeof(RD_DMA_CHANNEL),
+                    EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,
+                    EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CHANNEL,
+                    EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP+9,
+                },
+                {
+                    8,        // channel vendor data here
+                    0x38,     // 24+32 dma_int[8]
+                    0,
+                    0
+                },
+            },
+
+            // channel 9
+            {
+                {
+                    sizeof(RD_DMA_CHANNEL),
+                    EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,
+                    EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CHANNEL,
+                    EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP+10,
+                },
+                {
+                    9,        // channel vendor data here
+                    0x39,     // 25+32 dma_int[9]
+                    0,
+                    0
+                },
+            }
+
+        } // end DMA Channels 0 to 14
+
+    } // end DMA Resource group
+};
+
+#pragma pack(pop)
+
+VOID* ReferenceAcpiTable(VOID)
+{
+//
+// Reference the table being generated to prevent the optimizer from removing 
the
+// data structure from the exeutable
+//
+  return (VOID*)&Csrt;
+}
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Dbg2.aslc 
b/Platform/Broadcom/Bcm283x/AcpiTables/Dbg2.aslc
new file mode 100644
index 000000000000..b728a5f00cfb
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Dbg2.aslc
@@ -0,0 +1,32 @@
+/** @file
+ *
+ *  Debug Port Table (DBG2)
+ *
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+char DBG2[92] = {
+    0x44, 0x42, 0x47, 0x32, 0x5C, 0x00, 0x00, 0x00, 0x00, 0x00,
+    0x4D, 0x53, 0x46, 0x54, 0x20, 0x20, 0x45, 0x44, 0x4B, 0x32,
+    0x20, 0x20, 0x20, 0x20, 0x01, 0x00, 0x00, 0x00, 0x4D, 0x53,
+    0x46, 0x54, 0x01, 0x00, 0x00, 0x00, 0x2C, 0x00, 0x00, 0x00,
+    0x01, 0x00, 0x00, 0x00, 0x00, 0x30, 0x00, 0x01, 0x0A, 0x00,
+    0x26, 0x00, 0x00, 0x00, 0x30, 0x00, 0x00, 0x80, 0x10, 0x00,
+    0x00, 0x00, 0x16, 0x00, 0x22, 0x00, 0x00, 0x20, 0x00, 0x10,
+    0x00, 0x50, 0x21, 0x3F, 0x00, 0x00, 0x00, 0x00, 0x6C, 0x00,
+    0x00, 0x00, '\\',  '_',  'S',  'B',  '.',  'U',  'R',  'T',
+    'M', 0x00,
+};
+
+void * ReferenceAcpiTable(void) {
+    return (void *) &DBG2;
+}
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Dsdt.asl 
b/Platform/Broadcom/Bcm283x/AcpiTables/Dsdt.asl
new file mode 100644
index 000000000000..69897cb921f7
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Dsdt.asl
@@ -0,0 +1,523 @@
+/** @file
+ *
+ *  Differentiated System Definition Table (DSDT)
+ *
+ *  Copyright (c) 2018, Andrey Warkentin <andrey.warken...@gmail.com>
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+#define BCM_ALT0 0x4
+#define BCM_ALT1 0x5
+#define BCM_ALT2 0x6
+#define BCM_ALT3 0x7
+#define BCM_ALT4 0x3
+#define BCM_ALT5 0x2
+
+DefinitionBlock ("Dsdt.aml", "DSDT", 5, "MSFT", "EDK2", 2)
+{
+    Scope (\_SB_)
+    {
+        include("Sdhc.asl")
+        include("Pep.asl")
+
+        //
+        // Description: This is a Processor Device
+        //
+
+        Device (CPU0)
+        {
+            Name (_HID, "ACPI0007")
+            Name (_UID, 0x0)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+        }
+
+        //
+        // Description: This is a Processor Device
+        //
+
+        Device (CPU1)
+        {
+            Name (_HID, "ACPI0007")
+            Name (_UID, 0x1)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+        }
+
+        //
+        // Description: This is a Processor Device
+        //
+
+        Device (CPU2)
+        {
+            Name (_HID, "ACPI0007")
+            Name (_UID, 0x2)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+        }
+
+        //
+        // Description: This is a Processor Device
+        //
+
+        Device (CPU3)
+        {
+            Name (_HID, "ACPI0007")
+            Name (_UID, 0x3)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+        }
+
+        //
+        // Description: DWC OTG Controller
+        //
+
+        Device (USB0)
+        {
+            Name (_HID, "BCM2848")
+            Name (_CID, Package() { "DWC_OTG", "DWC2_OTG"})
+            Name (_UID, 0x0)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+            Method (_CRS, 0x0, Serialized) {
+                Name (RBUF, ResourceTemplate () {
+                    MEMORY32FIXED(ReadWrite, 0x3F980000, 0x10000, )
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Exclusive) 
{ 0x29 }
+                })
+                Return(RBUF)
+            }
+        }
+
+        //
+        // Description: Video Core 4 GPU
+        //
+
+        Device (GPU0)
+        {
+            Name (_HID, "BCM2850")
+            Name (_CID, "VC4")
+            Name (_UID, 0x0)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+            Method (_CRS, 0x0, Serialized) {
+                Name (RBUF, ResourceTemplate () {
+                    // Memory and interrupt for the GPU
+                    MEMORY32FIXED(ReadWrite, 0x3FC00000, 0x1000, )
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Exclusive) 
{ 0x2A }
+
+                    // HVS - Hardware Video Scalar
+                    MEMORY32FIXED(ReadWrite, 0x3F400000, 0x6000, )
+                    // The HVS interrupt is reserved by the VPU
+                    // Interrupt(ResourceConsumer, Level, ActiveHigh, 
Exclusive) { 0x41 }
+
+                    // PixelValve0 - DSI0 or DPI
+                    // MEMORY32FIXED(ReadWrite, 0x3F206000, 0x100, )
+                    // Interrupt(ResourceConsumer, Level, ActiveHigh, 
Exclusive) { 0x4D }
+
+                    // PixelValve1 - DS1 or SMI
+                    // MEMORY32FIXED(ReadWrite, 0x73F207000, 0x100, )
+                    // Interrupt(ResourceConsumer, Level, ActiveHigh, 
Exclusive) { 0x4E }
+
+                    // PixelValve2 - HDMI output - connected to HVS display 
FIFO 1
+                    MEMORY32FIXED(ReadWrite, 0x3F807000, 0x100, )
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Exclusive) 
{ 0x4A }
+
+                    // HDMI registers
+                    MEMORY32FIXED(ReadWrite, 0x3F902000, 0x600, )   // HDMI 
registers
+                    MEMORY32FIXED(ReadWrite, 0x3F808000, 0x100, )   // HD 
registers
+                    // hdmi_int[0]
+                    // Interrupt(ResourceConsumer, Level, ActiveHigh, 
Exclusive) { 0x48 }
+                    // hdmi_int[1]
+                    // Interrupt(ResourceConsumer, Level, ActiveHigh, 
Exclusive) { 0x49 }
+
+                    // HDMI DDC connection
+                    I2CSerialBus(0x50,, 100000,, "\\_SB.I2C2",,,,)  // EDID
+                    I2CSerialBus(0x30,, 100000,, "\\_SB.I2C2",,,,)  // E-DDC 
Segment Pointer
+                })
+                Return(RBUF)
+            }
+
+            // GPU Power Management Component Data
+            // Reference : 
https://github.com/Microsoft/graphics-driver-samples/wiki/Install-Driver-in-a-Windows-VM
+            Method(PMCD, 0, Serialized) {
+
+              Name(RBUF, Package()  {
+                1,                  // Version
+                1,                  // Number of graphics power components
+
+                Package() {         // Power components package
+
+                  Package() {       // GPU component package
+                    0,              // Component Index
+                    0,              // 
DXGK_POWER_COMPONENT_MAPPING.ComponentType (0 = DXGK_POWER_COMPONENT_ENGINE)
+                    0,              // DXGK_POWER_COMPONENT_MAPPING.NodeIndex
+
+                    Buffer() {      // 
DXGK_POWER_RUNTIME_COMPONENT.ComponentGuid
+                                    // 9B2D1E26-1575-4747-8FC0-B9EB4BAA2D2B
+                      0x26, 0x1E, 0x2D, 0x9B, 0x75, 0x15, 0x47, 0x47,
+                      0x8f, 0xc0, 0xb9, 0xeb, 0x4b, 0xaa, 0x2d, 0x2b
+                    },
+
+                    "VC4_Engine_00",// 
DXGK_POWER_RUNTIME_COMPONENT.ComponentName
+                    2,              // DXGK_POWER_RUNTIME_COMPONENT.StateCount
+
+                    Package() {     // DXGK_POWER_RUNTIME_COMPONENT.States[] 
package
+
+                      Package() {   // F0
+                         0,         // 
DXGK_POWER_RUNTIME_STATE.TransitionLatency
+                         0,         // 
DXGK_POWER_RUNTIME_STATE.ResidencyRequirement
+                         1210000,   // DXGK_POWER_RUNTIME_STATE.NominalPower 
(microwatt)
+                      },
+
+                      Package() {   // F1 - Placeholder
+                         10000,     // 
DXGK_POWER_RUNTIME_STATE.TransitionLatency
+                         10000,     // 
DXGK_POWER_RUNTIME_STATE.ResidencyRequirement
+                         4,         // DXGK_POWER_RUNTIME_STATE.NominalPower
+                      },
+                    }
+                  }
+                }
+              })
+              Return(RBUF)
+            }
+        }
+
+        //
+        // Description: PiQ Mailbox Driver
+        //
+
+        Device (RPIQ)
+        {
+            Name (_HID, "BCM2849")
+            Name (_CID, "RPIQ")
+            Name (_UID, 0)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+            Method (_CRS, 0x0, Serialized) {
+                Name (RBUF, ResourceTemplate () {
+                    Memory32Fixed (ReadWrite, 0x3F00B880, 0x00000024, )
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Exclusive) 
{ 0x61 }
+                })
+                Return (RBUF)
+            }
+        }
+
+        //
+        // Description: VCHIQ Driver
+        //
+
+        Device (VCIQ)
+        {
+            Name (_HID, "BCM2835")
+            Name (_CID, "VCIQ")
+            Name (_UID, 0)
+            Name (_DEP, Package() { \_SB.RPIQ })
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+            Method (_CRS, 0x0, Serialized) {
+                Name (RBUF, ResourceTemplate () {
+                    Memory32Fixed (ReadWrite, 0x3F00B840, 0x00000010, )
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Exclusive) 
{ 0x62 }
+                })
+                Return (RBUF)
+            }
+        }
+
+        //
+        // Description: VC Shared Memory Driver
+        //
+
+        Device (VCSM)
+        {
+            Name (_HID, "BCM2856")
+            Name (_CID, "VCSM")
+            Name (_UID, 0)
+            Name (_DEP, Package() { \_SB.VCIQ })
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+        }
+
+        //
+        // Description: GPIO
+        //
+        Device (GPI0)
+        {
+            Name (_HID, "BCM2845")
+            Name (_CID, "BCMGPIO")
+            Name (_UID, 0x0)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+            Method (_CRS, 0x0, Serialized) {
+                Name (RBUF, ResourceTemplate () {
+                    MEMORY32FIXED(ReadWrite, 0x3F200000, 0xB4, )
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Shared) { 
0x51 }
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Shared) { 
0x53 }
+                })
+                Return(RBUF)
+            }
+        }
+
+        //
+        // Description: I2C
+        //
+
+        Device (I2C1)
+        {
+            Name (_HID, "BCM2841")
+            Name (_CID, "BCMI2C")
+            Name (_UID, 0x1)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+            Method (_CRS, 0x0, Serialized)
+            {
+                Name (RBUF, ResourceTemplate()
+                {
+                    Memory32Fixed(ReadWrite, 0x3F804000, 0x20)
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Shared) 
{0x55}
+                    //
+                    // MsftFunctionConfig is encoded as the VendorLong.
+                    //
+                    // MsftFunctionConfig(Exclusive, PullUp, BCM_ALT0, 
"\\_SB.GPI0", 0, ResourceConsumer, ) {2, 3}
+                    //
+                    VendorLong  ()      // Length = 0x31
+                    {
+                        /* 0000 */  0x00, 0x60, 0x44, 0xD5, 0xF3, 0x1F, 0x11, 
0x60,  // .`D....`
+                        /* 0008 */  0x4A, 0xB8, 0xB0, 0x9C, 0x2D, 0x23, 0x30, 
0xDD,  // J...-#0.
+                        /* 0010 */  0x2F, 0x8D, 0x1D, 0x00, 0x01, 0x10, 0x00, 
0x01,  // /.......
+                        /* 0018 */  0x04, 0x00, 0x12, 0x00, 0x00, 0x16, 0x00, 
0x20,  // .......
+                        /* 0020 */  0x00, 0x00, 0x00, 0x02, 0x00, 0x03, 0x00, 
0x5C,  // .......\
+                        /* 0028 */  0x5F, 0x53, 0x42, 0x2E, 0x47, 0x50, 0x49, 
0x30,  // _SB.GPI0
+                        /* 0030 */  0x00                                       
      // .
+                    }
+
+                })
+                Return(RBUF)
+            }
+        }
+
+        //
+        // I2C2 is the HDMI DDC connection
+        //
+
+        Device (I2C2)
+        {
+            Name (_HID, "BCM2841")
+            Name (_CID, "BCMI2C")
+            Name (_UID, 0x2)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+            Method (_CRS, 0x0, Serialized)
+            {
+                Name (RBUF, ResourceTemplate()
+                {
+                    Memory32Fixed(ReadWrite, 0x3F805000, 0x20)
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Shared) 
{0x55}
+                })
+                Return(RBUF)
+            }
+        }
+
+        //
+        // Description: SPI
+        //
+
+        Device (SPI0)
+        {
+            Name (_HID, "BCM2838")
+            Name (_CID, "BCMSPI0")
+            Name (_UID, 0x0)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+            Method (_CRS, 0x0, Serialized) {
+                Name (RBUF, ResourceTemplate () {
+                    MEMORY32FIXED(ReadWrite, 0x3F204000, 0x20, )
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Shared) 
{0x56}
+
+                    //
+                    // MsftFunctionConfig is encoded as the VendorLong.
+                    //
+                    // MsftFunctionConfig(Exclusive, PullDown, BCM_ALT0, 
"\\_SB.GPI0", 0, ResourceConsumer, ) {9, 10, 11} // MISO, MOSI, SCLK
+                    VendorLong  ()      // Length = 0x33
+                    {
+                        /* 0000 */  0x00, 0x60, 0x44, 0xD5, 0xF3, 0x1F, 0x11, 
0x60,  // .`D....`
+                        /* 0008 */  0x4A, 0xB8, 0xB0, 0x9C, 0x2D, 0x23, 0x30, 
0xDD,  // J...-#0.
+                        /* 0010 */  0x2F, 0x8D, 0x1F, 0x00, 0x01, 0x10, 0x00, 
0x02,  // /.......
+                        /* 0018 */  0x04, 0x00, 0x12, 0x00, 0x00, 0x18, 0x00, 0x22, 
 // ......."
+                        /* 0020 */  0x00, 0x00, 0x00, 0x09, 0x00, 0x0A, 0x00, 
0x0B,  // ........
+                        /* 0028 */  0x00, 0x5C, 0x5F, 0x53, 0x42, 0x2E, 0x47, 
0x50,  // .\_SB.GP
+                        /* 0030 */  0x49, 0x30, 0x00                           
      // I0.
+                    }
+
+                    //
+                    // MsftFunctionConfig is encoded as the VendorLong.
+                    //
+                    // MsftFunctionConfig(Exclusive, PullUp, BCM_ALT0, 
"\\_SB.GPI0", 0, ResourceConsumer, ) {8}     // CE0
+                    VendorLong  ()      // Length = 0x2F
+                    {
+                        /* 0000 */  0x00, 0x60, 0x44, 0xD5, 0xF3, 0x1F, 0x11, 
0x60,  // .`D....`
+                        /* 0008 */  0x4A, 0xB8, 0xB0, 0x9C, 0x2D, 0x23, 0x30, 
0xDD,  // J...-#0.
+                        /* 0010 */  0x2F, 0x8D, 0x1B, 0x00, 0x01, 0x10, 0x00, 
0x01,  // /.......
+                        /* 0018 */  0x04, 0x00, 0x12, 0x00, 0x00, 0x14, 0x00, 
0x1E,  // ........
+                        /* 0020 */  0x00, 0x00, 0x00, 0x08, 0x00, 0x5C, 0x5F, 
0x53,  // .....\_S
+                        /* 0028 */  0x42, 0x2E, 0x47, 0x50, 0x49, 0x30, 0x00   
      // B.GPI0.
+                    }
+
+                    //
+                    // MsftFunctionConfig is encoded as the VendorLong.
+                    //
+                    // MsftFunctionConfig(Exclusive, PullUp, BCM_ALT0, 
"\\_SB.GPI0", 0, ResourceConsumer, ) {7}     // CE1
+                    VendorLong  ()      // Length = 0x2F
+                    {
+                        /* 0000 */  0x00, 0x60, 0x44, 0xD5, 0xF3, 0x1F, 0x11, 
0x60,  // .`D....`
+                        /* 0008 */  0x4A, 0xB8, 0xB0, 0x9C, 0x2D, 0x23, 0x30, 
0xDD,  // J...-#0.
+                        /* 0010 */  0x2F, 0x8D, 0x1B, 0x00, 0x01, 0x10, 0x00, 
0x01,  // /.......
+                        /* 0018 */  0x04, 0x00, 0x12, 0x00, 0x00, 0x14, 0x00, 
0x1E,  // ........
+                        /* 0020 */  0x00, 0x00, 0x00, 0x07, 0x00, 0x5C, 0x5F, 
0x53,  // .....\_S
+                        /* 0028 */  0x42, 0x2E, 0x47, 0x50, 0x49, 0x30, 0x00   
      // B.GPI0.
+                    }
+                })
+                Return(RBUF)
+            }
+        }
+
+        Device (SPI1)
+        {
+            Name (_HID, "BCM2839")
+            Name (_CID, "BCMAUXSPI")
+            Name (_UID, 0x1)
+            Name (_DEP, Package() { \_SB.RPIQ })
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+            Method (_CRS, 0x0, Serialized) {
+                Name (RBUF, ResourceTemplate () {
+                    MEMORY32FIXED(ReadWrite, 0x3F215080, 0x40,)
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Shared,) 
{0x3D}
+
+                    //
+                    // MsftFunctionConfig is encoded as the VendorLong.
+                    //
+                    // MsftFunctionConfig(Exclusive, PullDown, BCM_ALT4, 
"\\_SB.GPI0", 0, ResourceConsumer, ) {19, 20, 21} // MISO, MOSI, SCLK
+                    VendorLong  ()      // Length = 0x33
+                    {
+                        /* 0000 */  0x00, 0x60, 0x44, 0xD5, 0xF3, 0x1F, 0x11, 
0x60,  // .`D....`
+                        /* 0008 */  0x4A, 0xB8, 0xB0, 0x9C, 0x2D, 0x23, 0x30, 
0xDD,  // J...-#0.
+                        /* 0010 */  0x2F, 0x8D, 0x1F, 0x00, 0x01, 0x10, 0x00, 
0x02,  // /.......
+                        /* 0018 */  0x03, 0x00, 0x12, 0x00, 0x00, 0x18, 0x00, 0x22, 
 // ......."
+                        /* 0020 */  0x00, 0x00, 0x00, 0x13, 0x00, 0x14, 0x00, 
0x15,  // ........
+                        /* 0028 */  0x00, 0x5C, 0x5F, 0x53, 0x42, 0x2E, 0x47, 
0x50,  // .\_SB.GP
+                        /* 0030 */  0x49, 0x30, 0x00                           
      // I0.
+                    }
+
+                    //
+                    // MsftFunctionConfig is encoded as the VendorLong.
+                    //
+                    // MsftFunctionConfig(Exclusive, PullDown, BCM_ALT4, 
"\\_SB.GPI0", 0, ResourceConsumer, ) {16} // CE2
+                    VendorLong  ()      // Length = 0x2F
+                    {
+                        /* 0000 */  0x00, 0x60, 0x44, 0xD5, 0xF3, 0x1F, 0x11, 
0x60,  // .`D....`
+                        /* 0008 */  0x4A, 0xB8, 0xB0, 0x9C, 0x2D, 0x23, 0x30, 
0xDD,  // J...-#0.
+                        /* 0010 */  0x2F, 0x8D, 0x1B, 0x00, 0x01, 0x10, 0x00, 
0x02,  // /.......
+                        /* 0018 */  0x03, 0x00, 0x12, 0x00, 0x00, 0x14, 0x00, 
0x1E,  // ........
+                        /* 0020 */  0x00, 0x00, 0x00, 0x10, 0x00, 0x5C, 0x5F, 
0x53,  // .....\_S
+                        /* 0028 */  0x42, 0x2E, 0x47, 0x50, 0x49, 0x30, 0x00   
      // B.GPI0.
+                    }
+                })
+                Return(RBUF)
+            }
+        }
+
+        // SPI2 has no pins on GPIO header
+        // Device (SPI2)
+        // {
+            // Name (_HID, "BCM2839")
+            // Name (_CID, "BCMAUXSPI")
+            // Name (_UID, 0x2)
+            // Name (_DEP, Package() { \_SB.RPIQ })
+            // Method (_STA)
+           // {
+                // Return(0xf)     // Disabled
+            // }
+            // Method (_CRS, 0x0, Serialized) {
+                // Name (RBUF, ResourceTemplate () {
+                    // MEMORY32FIXED(ReadWrite, 0x3F2150C0, 0x40,)
+                    // Interrupt(ResourceConsumer, Level, ActiveHigh, Shared,) 
{0x3D}
+                // })
+                // Return(RBUF)
+            // }
+        // }
+
+        //
+        // Description: PWM Driver
+        //
+
+        Device (PWM0)
+        {
+            Name (_HID, "BCM2844")
+            Name (_CID, "BCM2844")
+            Name (_UID, 0)
+            Method (_STA)
+            {
+                Return(0xf)
+            }
+            Method (_CRS, 0x0, Serialized) {
+                Name (RBUF, ResourceTemplate () {
+                    // DMA channel 11 control
+                    Memory32Fixed (ReadWrite, 0x3F007B00, 0x00000100, )
+                    // PWM control
+                    Memory32Fixed (ReadWrite, 0x3F20C000, 0x00000028, )
+                    // PWM control bus
+                    Memory32Fixed (ReadWrite, 0x7E20C000, 0x00000028, )
+                    // PWM control uncached
+                    Memory32Fixed (ReadWrite, 0xFF20C000, 0x00000028, )
+                    // PWM clock control
+                    Memory32Fixed (ReadWrite, 0x3F1010A0, 0x00000008, )
+                    // Interrupt DMA channel 11
+                    Interrupt(ResourceConsumer, Level, ActiveHigh, Exclusive) 
{ 0x3B }
+                    // DMA channel 11, DREQ 5 for PWM
+                    FixedDMA(5, 11, Width32Bit, )
+                })
+                Return (RBUF)
+            }
+        }
+
+        include("Uart.asl")
+        include("Rhpx.asl")
+    }
+}
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Fadt.aslc 
b/Platform/Broadcom/Bcm283x/AcpiTables/Fadt.aslc
new file mode 100644
index 000000000000..493a888d3699
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Fadt.aslc
@@ -0,0 +1,50 @@
+/** @file
+ *
+ *  Fixed ACPI Description Table (FADT)
+ *
+ *  Copyright (c) 2018, Andrey Warkentin <andrey.warken...@gmail.com>
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+char FACP[268] = {
+    0x46, 0x41, 0x43, 0x50, 0x0C, 0x01, 0x00, 0x00, 0x05, 0x00, /*   0 */
+    0x42, 0x43, 0x32, 0x38, 0x33, 0x36, 0x45, 0x44, 0x4B, 0x32, /*  10 */
+    0x20, 0x20, 0x20, 0x20, 0x01, 0x00, 0x00, 0x00, 0x4D, 0x53, /*  20 */
+    0x46, 0x54, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /*  30 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x00, 0x00, 0x00, 0x00, /*  40 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /*  50 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /*  60 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /*  70 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /*  80 */
+    0x00, 0x04, 0x00, 0x00, 0x00, 0xE3, 0x00, 0x00, 0x00, 0x00, /*  90 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x3C, /* 100 */
+    0x00, 0x00, 0x21, 0x00, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, /* 110 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, /* 120 */
+    0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 130 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 140 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 150 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 160 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 170 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 180 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 190 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 200 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 210 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 220 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 230 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 240 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, /* 250 */
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00              /* 268 */
+};
+
+void * ReferenceAcpiTable(void) {
+    return (void *) &FACP;
+}
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Gtdt.aslc 
b/Platform/Broadcom/Bcm283x/AcpiTables/Gtdt.aslc
new file mode 100644
index 000000000000..764cc6c09fe7
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Gtdt.aslc
@@ -0,0 +1,31 @@
+/** @file
+ *
+ *  Generic Timer Description Table (GTDT)
+ *  Automatically generated by AutoAcpi
+ *
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+char GTDT[80] = {
+    0x47, 0x54, 0x44, 0x54, 0x50, 0x00, 0x00, 0x00, 0x01, 0x00,
+    0x4D, 0x53, 0x46, 0x54, 0x20, 0x20, 0x45, 0x44, 0x4B, 0x32,
+    0x20, 0x20, 0x20, 0x20, 0x01, 0x00, 0x00, 0x00, 0x4D, 0x53,
+    0x46, 0x54, 0x01, 0x00, 0x00, 0x00, 0x1C, 0x00, 0x00, 0x40,
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00,
+    0x00, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00,
+    0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
+};
+
+void * ReferenceAcpiTable(void) {
+    return (void *) &GTDT;
+}
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Madt.aslc 
b/Platform/Broadcom/Bcm283x/AcpiTables/Madt.aslc
new file mode 100644
index 000000000000..96f3ee469324
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Madt.aslc
@@ -0,0 +1,60 @@
+/** @file
+ *
+ *  Multiple APIC Description Table (MADT)
+ *
+ *  Copyright (c) 2018, Andrey Warkentin <andrey.warken...@gmail.com>
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+/*
+ * Even though the BCM2836 doesn't contain a GIC, these
+ * GICC definitions enable multi-core support (with PSCI).
+ *
+ * Mind the signatures in the header, they must be kept.
+ */
+char APIC[] = {
+  0x41, 0x50, 0x49, 0x43, 0x6c, 0x01, 0x00, 0x00, 0x03, 0xaf, 0x42, 0x43,
+  0x32, 0x38, 0x33, 0x36, 0x45, 0x44, 0x4b, 0x32, 0x20, 0x20, 0x20, 0x20,
+  0x01, 0x00, 0x00, 0x00, 0x4d, 0x53, 0x46, 0x54, 0x01, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0b, 0x50, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x09, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x01, 0x00, 0x00, 0x00, 0x0b, 0x50, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00,
+  0x01, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x09, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00,
+  0x0b, 0x50, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00,
+  0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x09, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x0b, 0x50, 0x00, 0x00,
+  0x03, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x09, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x00, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+  0x01, 0x00, 0x00, 0x00
+};
+
+void * ReferenceAcpiTable(void) {
+    return (void *) &APIC;
+}
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Pep.asl 
b/Platform/Broadcom/Bcm283x/AcpiTables/Pep.asl
new file mode 100644
index 000000000000..c0e07c6eaf42
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Pep.asl
@@ -0,0 +1,92 @@
+/** @file
+ *
+ *  Platform Extension Plugin (PEP).
+ *
+ *  Copyright (c) 2018, Andrey Warkentin <andrey.warken...@gmail.com>
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+Device(PEPD)
+{
+    //
+    // RPI3 PEP virtual device.
+    //
+    Name(_HID, "BCM2854") // note: since pep on rpi3 is virtual device,
+    Name(_CID, "BCM2854") // its device id needs to be generated by Microsoft
+    Name(_UID, 0x0)
+    Name(_CRS, ResourceTemplate () {
+        // No hardware resources for PEP driver are needed.
+    })
+
+    //
+    // Processor info. PEP proprietary method to return
+    // PEP_PROCESSOR_TABLE_PLAT structure.
+    //
+    // See Pep.h and Pep.c.
+    //
+    Name(_GPI, Buffer() {
+        0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x5C,0x00,0x5F,0x00,0x53,
+        0x00,0x42,0x00,0x2E,0x00,0x43,0x00,0x50,0x00,0x55,0x00,0x30,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00
+    })
+
+    //
+    // Coordinated state info. PEP proprietary method to return
+    // PEP_COORDINATED_STATE_TABLE_PLAT structure.
+    //
+    // See Pep.h and Pep.c.
+    //
+    Name(_GCI, Buffer() {
+        0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x06,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x01,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x01,
+        0x00,0x00,0x00,0x01,0x00,0x00,0x00
+    })
+
+    //
+    // Device info. PEP proprietary method to return
+    // PEP_DEVICE_TABLE_PLAT structure.
+    //
+    // See Pep.h and Pep.c.
+    //
+
+    Name(_GDI, Buffer() {
+        0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x5C,0x00,0x5F,0x00,0x53,
+        0x00,0x42,0x00,0x2E,0x00,0x49,0x00,0x32,0x00,0x43,0x00,0x30,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x09,
+        0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+        0x00,0x00,0x00,0x00,0x00,0x00,0x00
+    })
+}
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Pep.c 
b/Platform/Broadcom/Bcm283x/AcpiTables/Pep.c
new file mode 100644
index 000000000000..de457daaa547
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Pep.c
@@ -0,0 +1,84 @@
+/** @file
+ *
+ *  PEP device tables
+ *
+ *  Copyright (c) 2018, Andrei Warkentin <andrey.warken...@gmail.com>
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+#include "Pep.h"
+
+PEP_PROCESSOR_TABLE_PLAT RPI3Processors = {
+  1, //Version
+  1, //NumberProcessors
+  { //ProcessorInfo
+    { //[0]
+      L"\\_SB.CPU0", //DevicePath , wchar_t[16]
+      0, //FeedbackCounterCount
+      0x00000000, //Flags
+      0, //NumberIdleStates
+      0, //NumberPerfStates
+      { //IdleInfo
+      },
+      { // perfinfo
+      }
+    }
+  }
+};
+
+PEP_COORDINATED_STATE_TABLE_PLAT RPI3CoordinatedStates = {
+  1, //Version
+  1, //CoordinatedStateCount
+  { //CordinatedStates[]
+    { //[0]
+      { // DependencyInfo
+        { //[0]
+          1, //ExpectedState
+          0, //TargetProcessor
+          0x0 | 0x2 | 0x4, //LooseDependency = FALSE, InitialState = TRUE, 
DependentState = TRUE
+        }
+      },
+      SOC_STATE_TYPE, //StateType
+      0x1, //Flags
+      0, //Latency
+      0, //BreakEvenDuration
+      1, //DependencyCount
+      1, //MaximumDependencySize
+    }
+  }
+};
+
+PEP_DEVICE_TABLE_PLAT RPI3Devices = {
+  1, //Version
+  1, //NumberDevices
+  { //DeviceInfo
+    { //[1]
+      L"\\_SB.I2C0", //DevicePath , wchar_t[16]
+      0x1 | (1 << 3), //DStateSupportMask (D0 and D3)
+      1, //NumberCompoenents
+      { //DStateRequirement
+        { //[0]
+          PowerDeviceD3 //DState
+        }
+      },
+      { // FStateRequirement
+        { //[0]
+            { //FState
+              { //[0]
+                0
+              }
+            }
+          }
+      }
+    }
+  }
+};
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Pep.h 
b/Platform/Broadcom/Bcm283x/AcpiTables/Pep.h
new file mode 100644
index 000000000000..16d8c460832e
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Pep.h
@@ -0,0 +1,126 @@
+/** @file
+ *
+ *  PEP device defines
+ *
+ *  Copyright (c) 2018, Andrei Warkentin <andrey.warken...@gmail.com>
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+/*
+ * Note: Not everything is here. At least SOC_STATE_TYPE is missing.
+ */
+
+#ifndef _RPI3PEP_H_INCLUDED_
+#define _RPI3PEP_H_INCLUDED_
+
+#include <IndustryStandard/Acpi50.h>
+
+#define PEP_MAX_DEPENDENCIES_PER_STATE 16
+#define MAX_PROCESSOR_PATH_LENGTH 16
+#define MAX_DEVICE_PATH_LENGTH 32
+#define MAX_COMPONENT_COUNT 8
+#define P_NUMBER_PROCESSORS 1
+#define P_NUMBER_IDLE_STATES 1
+#define P_NUMBER_PERF_STATES 0
+#define P_NUMBER_DEVICES 1
+#define P_NUMBER_COORDINATED_STATS 1
+
+typedef struct _PEP_PROCESSOR_IDLE_STATE_INFO {
+    UINT32 Ulong;
+    UINT32 Latency;
+    UINT32 BreakEvenDuration;
+} PEP_PROCESSOR_IDLE_STATE_INFO, *PEP_PROCESSOR_IDLE_STATE_INFO;
+
+typedef struct _PEP_PROCESSOR_IDLE_INFO_PLAT {
+  //
+  // Processor idle states.
+  //
+  PEP_PROCESSOR_IDLE_STATE_INFO IdleStates[P_NUMBER_IDLE_STATES];
+} PEP_PROCESSOR_IDLE_INFO_PLAT, *PPEP_PROCESSOR_IDLE_INFO_PLAT;
+
+typedef struct COORDINATED_DEPENDENCY_INFO {
+    UINT32 ExpectedState;
+    UINT32 TargetProcessor;
+    UINT32 Ulong;
+} COORDINATED_DEPENDENCY_INFO, *PCOORDINATED_DEPENDENCY_INFO;
+
+typedef struct {
+  COORDINATED_DEPENDENCY_INFO DependencyInfo[PEP_MAX_DEPENDENCIES_PER_STATE];
+  UINT32 StateType;
+  UINT32 Ulong;
+  UINT32 Latency;
+  UINT32 BreakEvenDuration;
+  UINT32 DependencyCount;
+  UINT32 MaximumDependencySize;
+} COORDINATED_STATE_INFO;
+
+typedef struct {
+  UINT32 Unused;
+} PEP_PROCESSOR_PERF_INFO;
+
+typedef struct {
+  UINT32 FState[MAX_COMPONENT_COUNT];
+} COORDINATED_FSTATE_REQUIREMENT;
+
+typedef struct {
+  UINT32 DState;
+} COORDINATED_DSTATE_REQUIREMENT;
+
+//
+// Top level device table
+// *N.B. The exact length of the structure is determined by the 
NumberIdleStates/NumberPerfStates variables.
+//
+
+typedef struct _PEP_PROCESSOR_INFO_PLAT {
+  WCHAR DevicePath[MAX_PROCESSOR_PATH_LENGTH]; // Null-terminated ACPI name
+  ULONG FeedbackCounterCount;
+  ULONG Flags;
+
+  //
+  // We are putting the idle/perf state count here (instead
+  // of the PEP_PROCESSOR_xxx_INFO structure for the ease of parsing.
+  //
+  ULONG NumberIdleStates;
+  ULONG NumberPerfStates;
+
+  PEP_PROCESSOR_IDLE_INFO_PLAT IdleInfo;
+  PEP_PROCESSOR_PERF_INFO PerfInfo;
+} PEP_PROCESSOR_INFO_PLAT, *PPEP_PROCESSOR_INFO_PLAT;
+
+typedef struct _PEP_PROCESSOR_TABLE_PLAT {
+  UINT32 Version;
+  UINT32 NumberProcessors;
+  PEP_PROCESSOR_INFO_PLAT ProcessorInfo[P_NUMBER_PROCESSORS];
+} PEP_PROCESSOR_TABLE_PLAT;
+
+typedef struct _PEP_COORDINATED_STATE_TABLE_PLAT {
+  ULONG Version;
+  ULONG CoordinatedStateCount;
+  COORDINATED_STATE_INFO CoordinatedStates[P_NUMBER_COORDINATED_STATS];
+} PEP_COORDINATED_STATE_TABLE_PLAT, *PPEP_COORDINATED_STATE_TABLE_PLAT;
+
+typedef struct _PEP_DEVICE_INFO_PLAT {
+  WCHAR DevicePath[MAX_DEVICE_PATH_LENGTH]; // Null-terminated ACPI name
+  ULONG DStateSupportMask;
+  ULONG NumberComponents;
+
+  COORDINATED_DSTATE_REQUIREMENT DStateRequirement[P_NUMBER_COORDINATED_STATS];
+  COORDINATED_FSTATE_REQUIREMENT FStateRequirement[P_NUMBER_COORDINATED_STATS];
+} PEP_DEVICE_INFO_PLAT, *PPEP_DEVICE_INFO_PLAT;
+
+typedef struct _PEP_DEVICE_TABLE_PLAT {
+  ULONG Version;
+  ULONG NumberDevices;
+  PEP_DEVICE_INFO_PLAT DeviceInfo[P_NUMBER_DEVICES];
+} PEP_DEVICE_TABLE_PLAT, *PPEP_DEVICE_TABLE_PLAT;
+
+#endif
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Platform.h 
b/Platform/Broadcom/Bcm283x/AcpiTables/Platform.h
new file mode 100644
index 000000000000..826182698fd0
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Platform.h
@@ -0,0 +1,82 @@
+/** @file
+ *
+ *  RPi3 Platform specific defines for constructing ACPI tables
+ *
+ *  Copyright (c) 2018, Andrei Warkentin <andrey.warken...@gmail.com>
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+#ifndef _Platform_H_INCLUDED_
+#define _Platform_H_INCLUDED_
+
+#include <IndustryStandard/Acpi50.h>
+
+#define EFI_ACPI_OEM_ID                       {'M','C','R','S','F','T'} // 
OEMID 6 bytes long
+#define EFI_ACPI_OEM_TABLE_ID                 
SIGNATURE_64('R','P','I','3','E','D','K','2') // OEM table id 8 bytes long
+#define EFI_ACPI_OEM_REVISION                 0x02000820
+#define EFI_ACPI_CREATOR_ID                   SIGNATURE_32('R','P','I','3')
+#define EFI_ACPI_CREATOR_REVISION             0x00000097
+
+#define EFI_ACPI_VENDOR_ID                    SIGNATURE_32('M','S','F','T')
+#define EFI_ACPI_CSRT_REVISION                0x00000005
+#define EFI_ACPI_CSRT_DEVICE_ID_DMA           0x00000009 // fixed id
+#define EFI_ACPI_CSRT_RESOURCE_ID_IN_DMA_GRP  0x0 // count up from 0
+
+#define RPI3_DMA_CHANNEL_COUNT                10 // all 10 DMA channels are 
listed, including the reserved ones
+#define RPI3_DMA_USED_CHANNEL_COUNT           5  // use 5 DMA channels
+
+#define EFI_ACPI_5_0_CSRT_REVISION            0x00000000
+
+typedef enum
+{
+        EFI_ACPI_CSRT_RESOURCE_TYPE_RESERVED,           // 0
+        EFI_ACPI_CSRT_RESOURCE_TYPE_INTERRUPT,          // 1
+        EFI_ACPI_CSRT_RESOURCE_TYPE_TIMER,              // 2
+        EFI_ACPI_CSRT_RESOURCE_TYPE_DMA,                // 3
+        EFI_ACPI_CSRT_RESOURCE_TYPE_CACHE,              // 4
+}
+CSRT_RESOURCE_TYPE;
+
+typedef enum
+{
+        EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CHANNEL,     // 0
+        EFI_ACPI_CSRT_RESOURCE_SUBTYPE_DMA_CONTROLLER   // 1
+}
+CSRT_DMA_SUBTYPE;
+
+//------------------------------------------------------------------------
+// CSRT Resource Group header 24 bytes long
+//------------------------------------------------------------------------
+typedef struct
+{
+        UINT32 Length;                  // Length
+        UINT32 VendorID;                // 4 bytes
+        UINT32 SubVendorId;             // 4 bytes
+        UINT16 DeviceId;                // 2 bytes
+        UINT16 SubdeviceId;             // 2 bytes
+        UINT16 Revision;                // 2 bytes
+        UINT16 Reserved;                // 2 bytes
+        UINT32 SharedInfoLength;        // 4 bytes
+} EFI_ACPI_5_0_CSRT_RESOURCE_GROUP_HEADER;
+
+//------------------------------------------------------------------------
+// CSRT Resource Descriptor 12 bytes total
+//------------------------------------------------------------------------
+typedef struct
+{
+        UINT32 Length;                  // 4 bytes
+        UINT16 ResourceType;            // 2 bytes
+        UINT16 ResourceSubType;         // 2 bytes
+        UINT32 UID;                     // 4 bytes
+} EFI_ACPI_5_0_CSRT_RESOURCE_DESCRIPTOR_HEADER;
+
+#endif // of _Platform_H_INCLUDED_
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Rhpx.asl 
b/Platform/Broadcom/Bcm283x/AcpiTables/Rhpx.asl
new file mode 100644
index 000000000000..b197aa53fed4
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Rhpx.asl
@@ -0,0 +1,201 @@
+/** @file
+ *
+ *  [DSDT] RHProxy device to enable WinRT API (RHPX)
+ *
+ *  Copyright (c) 2018, Andrey Warkentin <andrey.warken...@gmail.com>
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+Device(RHPX)
+{
+    Name(_HID, "MSFT8000")
+    Name(_CID, "MSFT8000")
+    Name(_UID, 1)
+
+    Name(_CRS, ResourceTemplate()
+    {
+        // Index 0
+        SPISerialBus(              // SCKL - GPIO 11 - Pin 23
+                                   // MOSI - GPIO 10 - Pin 19
+                                   // MISO - GPIO 9  - Pin 21
+                                   // CE0  - GPIO 8  - Pin 24
+            0,                     // Device selection (CE0)
+            PolarityLow,           // Device selection polarity
+            FourWireMode,          // wiremode
+            8,                     // databit len
+            ControllerInitiated,   // slave mode
+            4000000,               // connection speed
+            ClockPolarityLow,      // clock polarity
+            ClockPhaseFirst,       // clock phase
+            "\\_SB.SPI0",          // ResourceSource: SPI bus controller name
+            0,                     // ResourceSourceIndex
+                                   // Resource usage
+                                   // DescriptorName: creates name for offset 
of resource descriptor
+            )                      // Vendor Data
+
+        // Index 1
+        SPISerialBus(              // SCKL - GPIO 11 - Pin 23
+                                   // MOSI - GPIO 10 - Pin 19
+                                   // MISO - GPIO 9  - Pin 21
+                                   // CE1  - GPIO 7  - Pin 26
+            1,                     // Device selection (CE1)
+            PolarityLow,           // Device selection polarity
+            FourWireMode,          // wiremode
+            8,                     // databit len
+            ControllerInitiated,   // slave mode
+            4000000,               // connection speed
+            ClockPolarityLow,      // clock polarity
+            ClockPhaseFirst,       // clock phase
+            "\\_SB.SPI0",          // ResourceSource: SPI bus controller name
+            0,                     // ResourceSourceIndex
+                                   // Resource usage
+                                   // DescriptorName: creates name for offset 
of resource descriptor
+            )                      // Vendor Data
+
+        // Index 2
+        I2CSerialBus(              // Pin 3 (GPIO2, SDA1), 5 (GPIO3, SCL1)
+            0xFFFF,                // SlaveAddress: placeholder
+            ,                      // SlaveMode: default to ControllerInitiated
+            0,                     // ConnectionSpeed: placeholder
+            ,                      // Addressing Mode: default to 7 bit
+            "\\_SB.I2C1",          // ResourceSource: I2C bus controller name
+            ,
+            ,
+            ,                      // Descriptor Name: creates name for offset 
of resource descriptor
+            )                      // VendorData
+
+        // Index 3
+        SPISerialBus(              // SPI1_SCLK - GPIO21
+                                   // SPI1_MOSI - GPIO20
+                                   // SPI1_MISO - GPIO19
+                                   // SPI1_CE2_N - GPIO16
+            2,                     // Device selection (CE2)
+            PolarityLow,           // Device selection polarity
+            FourWireMode,          // wiremode
+            8,                     // databit len
+            ControllerInitiated,   // slave mode
+            4000000,               // connection speed
+            ClockPolarityLow,      // clock polarity
+            ClockPhaseFirst,       // clock phase
+            "\\_SB.SPI1",          // ResourceSource: SPI bus controller name
+            0,                     // ResourceSourceIndex
+                                   // Resource usage
+                                   // DescriptorName: creates name for offset 
of resource descriptor
+            )                      // Vendor Data
+
+        // GPIO 2
+        GpioIO(Shared, PullUp, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 2 }
+        GpioInt(Edge, ActiveBoth, Shared, PullUp, 0, "\\_SB.GPI0",)            
                { 2 }
+        // GPIO 3
+        GpioIO(Shared, PullUp, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 3 }
+        GpioInt(Edge, ActiveBoth, Shared, PullUp, 0, "\\_SB.GPI0",)            
                { 3 }
+        // GPIO 4
+        GpioIO(Shared, PullUp, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 4 }
+        GpioInt(Edge, ActiveBoth, Shared, PullUp, 0, "\\_SB.GPI0",)            
                { 4 }
+        // GPIO 5
+        GpioIO(Shared, PullUp, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 5 }
+        GpioInt(Edge, ActiveBoth, Shared, PullUp, 0, "\\_SB.GPI0",)            
                { 5 }
+        // GPIO 6
+        GpioIO(Shared, PullUp, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 6 }
+        GpioInt(Edge, ActiveBoth, Shared, PullUp, 0, "\\_SB.GPI0",)            
                { 6 }
+        // GPIO 7
+        GpioIO(Shared, PullUp, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 7 }
+        GpioInt(Edge, ActiveBoth, Shared, PullUp, 0, "\\_SB.GPI0",)            
                { 7 }
+        // GPIO 8
+        GpioIO(Shared, PullUp, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 8 }
+        GpioInt(Edge, ActiveBoth, Shared, PullUp, 0, "\\_SB.GPI0",)            
                { 8 }
+        // GPIO 9
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 9 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 9 }
+        // GPIO 10
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 10 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 10 }
+        // GPIO 11
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 11 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 11 }
+        // GPIO 12
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 12 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 12 }
+        // GPIO 13
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 13 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 13 }
+        // NTRAID#MSFT-7141401-2016/04/7-jordanrh - disable UART muxing
+        // until a proper solution can be created for the dmap conflict
+        // GPIO 14 - UART TX
+        // GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 14 }
+        // GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)       
                     { 14 }
+        // GPIO 15 - UART RX
+        // GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 15 }
+        // GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)       
                     { 15 }
+        // GPIO 16
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 16 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 16 }
+        // GPIO 17
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 17 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 17 }
+        // GPIO 18
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 18 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 18 }
+        // GPIO 19
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 19 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 19 }
+        // GPIO 20
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 20 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 20 }
+        // GPIO 21
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 21 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 21 }
+        // GPIO 22
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 22 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 22 }
+        // GPIO 23
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 23 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 23 }
+        // GPIO 24
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 24 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 24 }
+        // GPIO 25
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 25 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 25 }
+        // GPIO 26
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 26 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 26 }
+        // GPIO 27
+        GpioIO(Shared, PullDown, 0, 0, IoRestrictionNone, "\\_SB.GPI0", 0, 
ResourceConsumer, , ) { 27 }
+        GpioInt(Edge, ActiveBoth, Shared, PullDown, 0, "\\_SB.GPI0",)          
                  { 27 }
+    })
+
+    Name(_DSD, Package()
+    {
+        ToUUID("daffd814-6eba-4d8c-8a91-bc9bbf4aa301"),
+        Package()
+        {
+            // Reference 
http://www.raspberrypi.org/documentation/hardware/raspberrypi/spi/README.md
+            // SPI 0
+            Package(2) { "bus-SPI-SPI0", Package() { 0, 1 }},                      
 // Index 0 & 1
+            Package(2) { "SPI0-MinClockInHz", 7629 },                          
     // 7629 Hz
+            Package(2) { "SPI0-MaxClockInHz", 125000000 },                     
     // 125 MHz
+            Package(2) { "SPI0-SupportedDataBitLengths", Package() { 8 }},     
     // Data Bit Length
+            // I2C1
+            Package(2) { "bus-I2C-I2C1", Package() { 2 }},
+            // GPIO Pin Count and supported drive modes
+            Package (2) { "GPIO-PinCount", 54 },
+            Package (2) { "GPIO-UseDescriptorPinNumbers", 1 },
+            Package (2) { "GPIO-SupportedDriveModes", 0xf },                   
     // InputHighImpedance, InputPullUp, InputPullDown, OutputCmos
+            // SPI 1
+            Package(2) { "bus-SPI-SPI1", Package() { 3 }},                     
     // Index 3
+            Package(2) { "SPI1-MinClockInHz", 30511 },                         
     // 30.5 kHz
+            Package(2) { "SPI1-MaxClockInHz", 20000000 },                      
     // 20 MHz
+            Package(2) { "SPI1-SupportedDataBitLengths", Package() { 8 }},     
     // Data Bit Length
+        }
+    })
+}
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Sdhc.asl 
b/Platform/Broadcom/Bcm283x/AcpiTables/Sdhc.asl
new file mode 100644
index 000000000000..a39138ce5c5c
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Sdhc.asl
@@ -0,0 +1,105 @@
+/** @file
+ *
+ *  [DSDT] SD controller/card definition (SDHC)
+ *
+ *  Copyright (c) 2018, Andrey Warkentin <andrey.warken...@gmail.com>
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+//
+// Note: UEFI can use either SDHost or Arasan. We expose both to the OS.
+//
+
+//
+// Description: This is ArasanSD 3.0 SD Host Controller.
+//
+
+Device (SDC1)
+{
+    Name (_HID, "BCM2847")
+    Name (_CID, "ARASAN")
+    Name (_UID, 0x0)
+    Name (_S1D, 0x1)
+    Name (_S2D, 0x1)
+    Name (_S3D, 0x1)
+    Name (_S4D, 0x1)
+    Method (_STA)
+    {
+        Return(0xf)
+    }
+    Method (_CRS, 0x0, Serialized) {
+        Name (RBUF, ResourceTemplate () {
+            MEMORY32FIXED(ReadWrite, 0x3F300000, 0x100, )
+            Interrupt(ResourceConsumer, Level, ActiveHigh, Exclusive) { 0x5E }
+        })
+        Return(RBUF)
+    }
+
+    //
+    // A child device that represents the
+    // sd card, which is marked as non-removable.
+    //
+    Device (SDMM)
+    {
+        Method (_ADR)
+        {
+            Return (0)
+        }
+        Method (_RMV) // Is removable
+        {
+            Return (0) // 0 - fixed
+        }
+    }
+}
+
+
+//
+// Description: This is Broadcom SDHost 2.0 SD Host Controller
+//
+
+Device (SDC2)
+{
+    Name (_HID, "BCM2855")
+    Name (_CID, "SDHST")
+    Name (_UID, 0x0)
+    Name (_S1D, 0x1)
+    Name (_S2D, 0x1)
+    Name (_S3D, 0x1)
+    Name (_S4D, 0x1)
+    Method (_STA)
+    {
+        Return(0xf)
+    }
+    Method (_CRS, 0x0, Serialized) {
+        Name (RBUF, ResourceTemplate () {
+            MEMORY32FIXED(ReadWrite, 0x3F202000, 0x100, )
+            Interrupt(ResourceConsumer, Level, ActiveHigh, Exclusive) { 0x58 }
+        })
+        Return(RBUF)
+    }
+
+    //
+    // A child device that represents the
+    // sd card, which is marked as non-removable.
+    //
+    Device (SDMM)
+    {
+        Method (_ADR)
+        {
+            Return (0)
+        }
+        Method (_RMV) // Is removable
+        {
+            Return (0) // 0 - fixed
+        }
+    }
+}
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Spcr.asl 
b/Platform/Broadcom/Bcm283x/AcpiTables/Spcr.asl
new file mode 100644
index 000000000000..a6fbfd08e021
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Spcr.asl
@@ -0,0 +1,53 @@
+/** @file
+ *
+ *  Serial Port Console Redirection Table (SPCR)
+ *
+ *  Copyright (c) 2017-2018, Andrey Warkentin <andrey.warken...@gmail.com>
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+[000h 0000   4]                    Signature : "SPCR"    [Serial Port Console 
Redirection table]
+[004h 0004   4]                 Table Length : 00000050
+[008h 0008   1]                     Revision : 01
+[009h 0009   1]                     Checksum : 00
+[00Ah 0010   6]                       Oem ID : "RPiEFI"
+[010h 0016   8]                 Oem Table ID : "RPi3UEFI"
+[018h 0024   4]                 Oem Revision : 00000001
+[01Ch 0028   4]              Asl Compiler ID : "----"
+[020h 0032   4]        Asl Compiler Revision : 00000000
+
+[024h 0036   1]               Interface Type : 10
+[025h 0037   3]                     Reserved : 000000
+
+[028h 0040  12]         Serial Port Register : [Generic Address Structure]
+[028h 0040   1]                     Space ID : 00 [SystemMemory]
+[029h 0041   1]                    Bit Width : 20
+[02Ah 0042   1]                   Bit Offset : 00
+[02Bh 0043   1]         Encoded Access Width : 02 [DWord Access:32]
+[02Ch 0044   8]                      Address : 000000003f215000
+
+[034h 0052   1]               Interrupt Type : 0E
+[035h 0053   1]          PCAT-compatible IRQ : 00
+[036h 0054   4]                    Interrupt : 3D
+[03Ah 0058   1]                    Baud Rate : 07
+[03Bh 0059   1]                       Parity : 00
+[03Ch 0060   1]                    Stop Bits : 01
+[03Dh 0061   1]                 Flow Control : 00
+[03Eh 0062   1]                Terminal Type : 00
+[04Ch 0076   1]                     Reserved : 00
+[040h 0064   2]                PCI Device ID : FFFF
+[042h 0066   2]                PCI Vendor ID : FFFF
+[044h 0068   1]                      PCI Bus : 00
+[045h 0069   1]                   PCI Device : 00
+[046h 0070   1]                 PCI Function : 00
+[047h 0071   4]                    PCI Flags : 00000000
+[04Bh 0075   1]                  PCI Segment : 00
+[04Ch 0076   4]                     Reserved : 00000000
diff --git a/Platform/Broadcom/Bcm283x/AcpiTables/Uart.asl 
b/Platform/Broadcom/Bcm283x/AcpiTables/Uart.asl
new file mode 100644
index 000000000000..fa92cf24db91
--- /dev/null
+++ b/Platform/Broadcom/Bcm283x/AcpiTables/Uart.asl
@@ -0,0 +1,155 @@
+/** @file
+ *
+ *  [DSDT] Serial devices (UART).
+ *
+ *  Copyright (c) 2018, Andrey Warkentin <andrey.warken...@gmail.com>
+ *  Copyright (c) Microsoft Corporation. All rights reserved.
+ *
+ *  This program and the accompanying materials
+ *  are licensed and made available under the terms and conditions of the BSD 
License
+ *  which accompanies this distribution.  The full text of the license may be 
found at
+ *  http://opensource.org/licenses/bsd-license.php
+ *
+ *  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR 
IMPLIED.
+ *
+ **/
+
+//
+// Description: This is the PL011 based UART.
+//
+
+Device (URT0)
+{
+    Name (_HID, "BCM2837")
+    Name (_CID, "HID3123")
+    Name (_UID, 0x4)
+    Method (_STA)
+    {
+        Return(0xf)
+    }
+    Method (_CRS, 0x0, Serialized) {
+        Name (RBUF, ResourceTemplate () {
+            MEMORY32FIXED(ReadWrite, 0x3F201000, 0x1000, )
+            Interrupt(ResourceConsumer, Level, ActiveHigh, Exclusive) { 0x59 }
+        })
+        Return(RBUF)
+    }
+
+    Name (CLCK, 3000000)
+
+    Name (_DSD, Package () {
+        ToUUID("daffd814-6eba-4d8c-8a91-bc9bbf4aa301"),
+            Package () {
+                Package (2) { "clock-frequency", CLCK },
+            }
+        })
+}
+
+//
+// Description: UART Mini.
+//
+// This device is referenced in the DBG2 table, which will cause the system to
+// not start the driver when the debugger is enabled and to mark the device
+// with problem code 53 (CM_PROB_USED_BY_DEBUGGER).
+//
+
+Device (URTM)
+{
+    Name (_HID, "BCM2836")
+    Name (_CID, "MINIUART")
+    Name (_UID, 0x0)
+    Method (_STA)
+    {
+        Return(0xf)
+    }
+    Method (_CRS, 0x0, Serialized) {
+        Name (RBUF, ResourceTemplate () {
+            MEMORY32FIXED(ReadWrite, 0x3F215000, 0x70, )
+            Interrupt(ResourceConsumer, Level, ActiveHigh, Shared) {0x3D}
+
+            // NTRAID#MSFT-7141401-2016/04/7-jordanrh - disable UART muxing
+            // until a proper solution can be created for the dmap conflict.
+            // When muxing is enabled, must consider DBG2 table conflict.
+            // The alternate function resource needs to be reserved when
+            // the kernel debugger is enabled to prevent another client
+            // from muxing the pins away.
+
+            //
+            // MsftFunctionConfig is encoded as the VendorLong.
+            //
+            // MsftFunctionConfig(Exclusive, PullDown, BCM_ALT5, "\\_SB.GPI0", 
0, ResourceConsumer, ) {14, 15}
+            // VendorLong  ()      // Length = 0x31
+            // {
+            //    /* 0000 */  0x00, 0x60, 0x44, 0xD5, 0xF3, 0x1F, 0x11, 0x60,  
// .`D....`
+            //    /* 0008 */  0x4A, 0xB8, 0xB0, 0x9C, 0x2D, 0x23, 0x30, 0xDD,  
// J...-#0.
+            //    /* 0010 */  0x2F, 0x8D, 0x1D, 0x00, 0x01, 0x10, 0x00, 0x02,  
// /.......
+            //    /* 0018 */  0x02, 0x00, 0x12, 0x00, 0x00, 0x16, 0x00, 0x20,  
// .......
+            //    /* 0020 */  0x00, 0x00, 0x00, 0x0E, 0x00, 0x0F, 0x00, 0x5C,  
// .......\
+            //    /* 0028 */  0x5F, 0x53, 0x42, 0x2E, 0x47, 0x50, 0x49, 0x30,  
// _SB.GPI0
+            //    /* 0030 */  0x00                                             
// .
+            //}
+
+        })
+        Return(RBUF)
+    }
+}
+
+//
+// Multifunction serial bus device to support Bluetooth function.
+//
+
+Device(BTH0)
+{
+    Name (_HID, "BCM2EA6")
+    Name (_CID, "BCM2EA6")
+    Method (_STA)
+    {
+        Return(0xf)
+    }
+    Method (_CRS, 0x0, Serialized) {
+        Name (RBUF, ResourceTemplate () {
+            //
+            // BT UART: UART0 (PL011)
+            //
+            UARTSerialBus(
+                115200,        // InitialBaudRate: in BPS
+                ,              // BitsPerByte: default to 8 bits
+                ,              // StopBits: Defaults to one bit
+                0x00,          // LinesInUse: 8 1-bit flags to
+                               //   declare enabled control lines.
+                               //   Raspberry Pi does not exposed
+                               //   HW control signals -> not supported.
+                               //   Optional bits:
+                               //   - Bit 7 (0x80) Request To Send (RTS)
+                               //   - Bit 6 (0x40) Clear To Send (CTS)
+                               //   - Bit 5 (0x20) Data Terminal Ready (DTR)
+                               //   - Bit 4 (0x10) Data Set Ready (DSR)
+                               //   - Bit 3 (0x08) Ring Indicator (RI)
+                               //   - Bit 2 (0x04) Data Carrier Detect (DTD)
+                               //   - Bit 1 (0x02) Reserved. Must be 0.
+                               //   - Bit 0 (0x01) Reserved. Must be 0.
+                ,              // IsBigEndian:
+                               //   default to LittleEndian.
+                ,              // Parity: Defaults to no parity
+                ,              // FlowControl: Defaults to
+                               //   no flow control.
+                16,            // ReceiveBufferSize
+                16,            // TransmitBufferSize
+                "\\_SB.URT0",  // ResourceSource:
+                               //   UART bus controller name
+                ,              // ResourceSourceIndex: assumed to be 0
+                ,              // ResourceUsage: assumed to be
+                               //   ResourceConsumer
+                UAR0,          // DescriptorName: creates name
+                               //   for offset of resource descriptor
+                )              // Vendor data
+
+               //
+               // RPIQ connection for BT_ON/OFF
+               //
+               GpioIO(Shared, PullUp, 0, 0, IoRestrictionNone, "\\_SB.RPIQ", 
0, ResourceConsumer, , ) { 128 }
+        })
+        Return(RBUF)
+    }
+}
--
2.17.0.windows.1


_______________________________________________
edk2-devel mailing list
edk2-devel@lists.01.org
https://lists.01.org/mailman/listinfo/edk2-devel

Reply via email to