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 10#include "tsc_timer.dtsi" 11 12/ { 13 model = "EFI x86 Application"; 14 compatible = "efi,x86-app"; 15 16 chosen { 17 stdout-path = &serial; 18 }; 19 20 serial: serial { 21 compatible = "efi,uart"; 22 }; 23 24 reset { 25 compatible = "efi,reset"; 26 bootph-all; 27 }; 28 efi-fb { 29 compatible = "efi-fb"; 30 bootph-some-ram; 31 }; 32 33}; 34