132151d40SBin Meng// SPDX-License-Identifier: GPL-2.0+ 232151d40SBin Meng/* 332151d40SBin Meng * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com> 432151d40SBin Meng * 532151d40SBin Meng * Generic EFI payload device tree for x86 targets 632151d40SBin Meng */ 732151d40SBin Meng 832151d40SBin Meng/dts-v1/; 932151d40SBin Meng 1032151d40SBin Meng/include/ "skeleton.dtsi" 1132151d40SBin Meng/include/ "serial.dtsi" 1232151d40SBin Meng/include/ "keyboard.dtsi" 13b37b7b20SBin Meng/include/ "reset.dtsi" 1432151d40SBin Meng/include/ "rtc.dtsi" 1532151d40SBin Meng/include/ "tsc_timer.dtsi" 1632151d40SBin Meng 1732151d40SBin Meng/ { 1832151d40SBin Meng model = "EFI x86 Payload"; 1932151d40SBin Meng compatible = "efi,x86-payload"; 2032151d40SBin Meng 2132151d40SBin Meng aliases { 2232151d40SBin Meng serial0 = &serial; 2332151d40SBin Meng }; 2432151d40SBin Meng 2532151d40SBin Meng config { 2632151d40SBin Meng silent_console = <0>; 2732151d40SBin Meng }; 2832151d40SBin Meng 2932151d40SBin Meng chosen { 3032151d40SBin Meng stdout-path = "/serial"; 3132151d40SBin Meng }; 3232151d40SBin Meng 33*7bdf39cfSBin Meng tsc-timer { 34*7bdf39cfSBin Meng clock-frequency = <1000000000>; 35*7bdf39cfSBin Meng }; 36*7bdf39cfSBin Meng 3732151d40SBin Meng pci { 3832151d40SBin Meng compatible = "pci-x86"; 3932151d40SBin Meng u-boot,dm-pre-reloc; 4032151d40SBin Meng }; 41d441ec82SBin Meng 42d441ec82SBin Meng efi-fb { 43d441ec82SBin Meng compatible = "efi-fb"; 44d441ec82SBin Meng }; 4532151d40SBin Meng}; 46