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/ "reset.dtsi" 14/include/ "rtc.dtsi" 15/include/ "tsc_timer.dtsi" 16 17/ { 18 model = "coreboot x86 payload"; 19 compatible = "coreboot,x86-payload"; 20 21 aliases { 22 serial0 = &serial; 23 }; 24 25 config { 26 silent_console = <0>; 27 }; 28 29 chosen { 30 stdout-path = "/serial"; 31 }; 32 33 tsc-timer { 34 clock-frequency = <1000000000>; 35 }; 36 37 pci { 38 compatible = "pci-x86"; 39 u-boot,dm-pre-reloc; 40 }; 41 42 coreboot-fb { 43 compatible = "coreboot-fb"; 44 }; 45}; 46