1// SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause)
2/*
3 * Copyright (C) STMicroelectronics 2019 - All Rights Reserved
4 * Author: Alexandre Torgue <alexandre.torgue@st.com> for STMicroelectronics.
5 */
6
7/dts-v1/;
8
9#include "stm32mp157.dtsi"
10#include "stm32mp15-pinctrl.dtsi"
11#include "stm32mp15xxac-pinctrl.dtsi"
12#include "stm32mp15xx-dkx.dtsi"
13
14/ {
15	model = "STMicroelectronics STM32MP157A-DK1 Discovery Board";
16	compatible = "st,stm32mp157a-dk1", "st,stm32mp157";
17
18	aliases {
19		ethernet0 = &ethernet0;
20	};
21
22	chosen {
23		stdout-path = "serial0:115200n8";
24	};
25};
26