1*32151d40SBin Meng// SPDX-License-Identifier: GPL-2.0+ 2*32151d40SBin Meng/* 3*32151d40SBin Meng * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com> 4*32151d40SBin Meng * 5*32151d40SBin Meng * Generic EFI payload device tree for x86 targets 6*32151d40SBin Meng */ 7*32151d40SBin Meng 8*32151d40SBin Meng/dts-v1/; 9*32151d40SBin Meng 10*32151d40SBin Meng/include/ "skeleton.dtsi" 11*32151d40SBin Meng/include/ "serial.dtsi" 12*32151d40SBin Meng/include/ "keyboard.dtsi" 13*32151d40SBin Meng/include/ "rtc.dtsi" 14*32151d40SBin Meng/include/ "tsc_timer.dtsi" 15*32151d40SBin Meng 16*32151d40SBin Meng/ { 17*32151d40SBin Meng model = "EFI x86 Payload"; 18*32151d40SBin Meng compatible = "efi,x86-payload"; 19*32151d40SBin Meng 20*32151d40SBin Meng aliases { 21*32151d40SBin Meng serial0 = &serial; 22*32151d40SBin Meng }; 23*32151d40SBin Meng 24*32151d40SBin Meng config { 25*32151d40SBin Meng silent_console = <0>; 26*32151d40SBin Meng }; 27*32151d40SBin Meng 28*32151d40SBin Meng chosen { 29*32151d40SBin Meng stdout-path = "/serial"; 30*32151d40SBin Meng }; 31*32151d40SBin Meng 32*32151d40SBin Meng pci { 33*32151d40SBin Meng compatible = "pci-x86"; 34*32151d40SBin Meng u-boot,dm-pre-reloc; 35*32151d40SBin Meng }; 36*32151d40SBin Meng}; 37