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