1// SPDX-License-Identifier: GPL-2.0+
2/*
3 * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
4 *
5 * Generic EFI 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/ "rtc.dtsi"
14/include/ "tsc_timer.dtsi"
15
16/ {
17	model = "EFI x86 Payload";
18	compatible = "efi,x86-payload";
19
20	aliases {
21		serial0 = &serial;
22	};
23
24	config {
25		silent_console = <0>;
26	};
27
28	chosen {
29		stdout-path = "/serial";
30	};
31
32	pci {
33		compatible = "pci-x86";
34		u-boot,dm-pre-reloc;
35	};
36
37	efi-fb {
38		compatible = "efi-fb";
39	};
40};
41