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