1// SPDX-License-Identifier: GPL-2.0+
2/*
3 * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
4 *
5 * Generic coreboot payload device tree for x86 targets
6 */
7
8/dts-v1/;
9
10/include/ "skeleton.dtsi"
11/include/ "keyboard.dtsi"
12/include/ "pcspkr.dtsi"
13/include/ "reset.dtsi"
14/include/ "rtc.dtsi"
15
16#include "tsc_timer.dtsi"
17
18/ {
19	model = "coreboot x86 payload";
20	compatible = "coreboot,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	serial: serial {
40		bootph-all;
41		compatible = "coreboot-serial";
42	};
43
44	coreboot-fb {
45		bootph-some-ram;
46		compatible = "coreboot-fb";
47	};
48
49	bootstd {
50		compatible = "u-boot,boot-std";
51
52		theme {
53			font-size = <30>;
54			menu-inset = <3>;
55			menuitem-gap-y = <1>;
56		};
57	};
58
59	sysinfo {
60		compatible = "coreboot,sysinfo";
61	};
62};
63