1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * Copyright (c) 2017 Intel Corporation 4 * 5 * Partially based on dsdt.asl for other x86 boards 6 */ 7 8DefinitionBlock("dsdt.aml", "DSDT", 2, "U-BOOT", "U-BOOTBL", 0x00010000) 9{ 10 /* platform specific */ 11 #include <asm/arch/acpi/platform.asl> 12} 13