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
16#include "tsc_timer.dtsi"
17
18/ {
19	model = "EFI x86 Payload";
20	compatible = "efi,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	efi-fb {
40		compatible = "efi-fb";
41	};
42};
43