/* * Copyright (c) 2015 Google, Inc * * SPDX-License-Identifier: GPL-2.0+ */ /dts-v1/; /include/ "skeleton.dtsi" / { model = "EFI"; compatible = "efi,app"; chosen { stdout-path = &serial; }; serial: serial { compatible = "efi,uart"; }; };