1/* SPDX-License-Identifier: GPL-2.0-or-later */ 2 3#include <acpi/acpi.h> 4#include <variant/ec.h> 5 6DefinitionBlock( 7 "dsdt.aml", 8 "DSDT", 9 ACPI_DSDT_REV_2, 10 OEM_ID, 11 ACPI_TABLE_CREATOR, 12 0x20110725 13) 14{ 15 /* TODO: Add ACPI code as per board design */ 16} 17