/* SPDX-License-Identifier: GPL-2.0-only */ /* This file is part of the coreboot project. */ #include DefinitionBlock( "dsdt.aml", "DSDT", 0x02, /* DSDT revision: ACPI v2.0 and up */ OEM_ID, ACPI_TABLE_CREATOR, 0x20110725 /* OEM revision */ ) { #include /* global NVS and variables */ #include #include Scope (\_SB) { Device (PCI0) { #include #include #include } /* Dynamic Platform Thermal Framework */ #include "acpi/dptf.asl" } Scope (\_SB.PCI0) { Device (RP03) { Name (_ADR, 0x001C0002) // _ADR: Address OperationRegion(RPXX, PCI_Config, 0x00, 0x10) /* Wifi Device */ #include } } #include #include #include "acpi/mainboard.asl" }