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
10#include "tsc_timer.dtsi"
11
12/ {
13	model = "EFI x86 Application";
14	compatible = "efi,x86-app";
15
16	chosen {
17		stdout-path = &serial;
18	};
19
20	serial: serial {
21		compatible = "efi,uart";
22	};
23
24	reset {
25		compatible = "efi,reset";
26		bootph-all;
27	};
28	efi-fb {
29		compatible = "efi-fb";
30		bootph-some-ram;
31	};
32
33};
34