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