blob: 20150f6ede4e8e6881ff4be4614a61b736955fa8 [file] [log] [blame]
Tom Rini10e47792018-05-06 17:58:06 -04001// SPDX-License-Identifier: GPL-2.0+
Simon Glass8aea77a2015-08-04 12:33:48 -06002/*
3 * Copyright (c) 2015 Google, Inc
Simon Glass8aea77a2015-08-04 12:33:48 -06004 */
5
6/dts-v1/;
7
8/include/ "skeleton.dtsi"
Bin Meng38de0202015-11-13 00:11:22 -08009/include/ "tsc_timer.dtsi"
Simon Glass8aea77a2015-08-04 12:33:48 -060010
11/ {
Bin Meng65820742018-06-12 08:36:24 -070012 model = "EFI x86 Application";
13 compatible = "efi,x86-app";
Simon Glass8aea77a2015-08-04 12:33:48 -060014
15 chosen {
16 stdout-path = &serial;
17 };
18
Bin Meng38de0202015-11-13 00:11:22 -080019 tsc-timer {
20 clock-frequency = <1000000000>;
21 };
22
Simon Glass8aea77a2015-08-04 12:33:48 -060023 serial: serial {
24 compatible = "efi,uart";
25 };
Bin Mengaf5b8d22018-07-19 03:07:33 -070026
27 reset {
28 compatible = "efi,reset";
29 u-boot,dm-pre-reloc;
30 };
Simon Glass8aea77a2015-08-04 12:33:48 -060031};