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