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 bootph-some-ram; 46 compatible = "coreboot-fb"; 47 }; 48 49 bootstd { 50 compatible = "u-boot,boot-std"; 51 52 theme { 53 font-size = <30>; 54 menu-inset = <3>; 55 menuitem-gap-y = <1>; 56 }; 57 }; 58 59 sysinfo { 60 compatible = "coreboot,sysinfo"; 61 }; 62}; 63