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