1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * Copyright (C) 2016, Bin Meng <bmeng.cn@gmail.com> 4 */ 5 6DefinitionBlock("dsdt.aml", "DSDT", 2, "U-BOOT", "U-BOOTBL", 0x00010000) 7{ 8 /* platform specific */ 9 #include <asm/arch/acpi/platform.asl> 10 11 /* board specific */ 12 #include "acpi/mainboard.asl" 13} 14