1 // SPDX-License-Identifier: GPL-2.0+
5 * Generic coreboot payload device tree for x86 targets
10 /include/ "skeleton.dtsi"
11 /include/ "keyboard.dtsi"
12 /include/ "pcspkr.dtsi"
13 /include/ "reset.dtsi"
16 #include "tsc_timer.dtsi"
19 model = "coreboot x86 payload";
20 compatible = "coreboot,x86-payload";
31 stdout-path = "/serial";
35 compatible = "pci-x86";
41 compatible = "coreboot-serial";
45 compatible = "coreboot-fb";