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