xref: /openbmc/u-boot/arch/x86/dts/efi-x86_app.dts (revision 88dc4099) 
1// SPDX-License-Identifier: GPL-2.0+
2/*
3 * Copyright (c) 2015 Google, Inc
4 */
5
6/dts-v1/;
7
8/include/ "skeleton.dtsi"
9/include/ "tsc_timer.dtsi"
10
11/ {
12	model = "EFI x86 Application";
13	compatible = "efi,x86-app";
14
15	chosen {
16		stdout-path = &serial;
17	};
18
19	tsc-timer {
20		clock-frequency = <1000000000>;
21	};
22
23	serial: serial {
24		compatible = "efi,uart";
25	};
26
27	reset {
28		compatible = "efi,reset";
29		u-boot,dm-pre-reloc;
30	};
31};
32