1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
5 * Generic coreboot payload device tree for x86 targets
10 /include/ "skeleton.dtsi"
11 /include/ "serial.dtsi"
12 /include/ "keyboard.dtsi"
13 /include/ "reset.dtsi"
15 /include/ "tsc_timer.dtsi"
18 model = "coreboot x86 payload";
19 compatible = "coreboot,x86-payload";
30 stdout-path = "/serial";
34 compatible = "pci-x86";
39 compatible = "coreboot-fb";