1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com> 4 * 5 * Generic coreboot payload device tree for x86 targets 6 */ 7 8/dts-v1/; 9 10/include/ "skeleton.dtsi" 11/include/ "keyboard.dtsi" 12/include/ "pcspkr.dtsi" 13/include/ "reset.dtsi" 14/include/ "rtc.dtsi" 15 16#include "tsc_timer.dtsi" 17 18/ { 19 model = "coreboot x86 payload"; 20 compatible = "coreboot,x86-payload"; 21 22 aliases { 23 serial0 = &serial; 24 }; 25 26 config { 27 silent_console = <0>; 28 }; 29 30 chosen { 31 stdout-path = "/serial"; 32 }; 33 34 pci { 35 compatible = "pci-x86"; 36 bootph-all; 37 }; 38 39 serial: serial { 40 bootph-all; 41 compatible = "coreboot-serial"; 42 }; 43 44 coreboot-fb { 45 compatible = "coreboot-fb"; 46 }; 47}; 48