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
11/ {
12 model = "EFI";
13 compatible = "efi,app";
14
15 chosen {
16 stdout-path = &serial;
17 };
18
19 serial: serial {
20 compatible = "efi,uart";
21 };
22};
23