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/ "serial.dtsi" 12/include/ "keyboard.dtsi" 13/include/ "pcspkr.dtsi" 14/include/ "reset.dtsi" 15/include/ "rtc.dtsi" 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 tsc-timer { 35 clock-frequency = <1000000000>; 36 }; 37 38 pci { 39 compatible = "pci-x86"; 40 u-boot,dm-pre-reloc; 41 }; 42 43 coreboot-fb { 44 compatible = "coreboot-fb"; 45 }; 46}; 47