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/ "reset.dtsi"
14/include/ "rtc.dtsi"
15/include/ "tsc_timer.dtsi"
16
17/ {
18	model = "EFI x86 Payload";
19	compatible = "efi,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	efi-fb {
43		compatible = "efi-fb";
44	};
45};
46