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