blob: 6cd8116afdc98365035764c9f88602b100a4c314 [file] [log] [blame]
Simon Glassd6c099c2015-08-04 12:33:48 -06001/*
2 * Copyright (c) 2015 Google, Inc
3 *
4 * SPDX-License-Identifier: GPL-2.0+
5 */
6
7/dts-v1/;
8
9/include/ "skeleton.dtsi"
Bin Meng80af3982015-11-13 00:11:22 -080010/include/ "tsc_timer.dtsi"
Simon Glassd6c099c2015-08-04 12:33:48 -060011
12/ {
13 model = "EFI";
14 compatible = "efi,app";
15
16 chosen {
17 stdout-path = &serial;
18 };
19
Bin Meng80af3982015-11-13 00:11:22 -080020 tsc-timer {
21 clock-frequency = <1000000000>;
22 };
23
Simon Glassd6c099c2015-08-04 12:33:48 -060024 serial: serial {
25 compatible = "efi,uart";
26 };
27};