0001 // SPDX-License-Identifier: (GPL-2.0+ OR BSD-3-Clause)
0002 /*
0003 * Copyright (C) STMicroelectronics 2019 - All Rights Reserved
0004 * Author: Alexandre Torgue <alexandre.torgue@st.com> for STMicroelectronics.
0005 */
0006
0007 /dts-v1/;
0008
0009 #include "stm32mp157.dtsi"
0010 #include "stm32mp15-pinctrl.dtsi"
0011 #include "stm32mp15xxac-pinctrl.dtsi"
0012 #include "stm32mp15xx-dkx.dtsi"
0013
0014 / {
0015 model = "STMicroelectronics STM32MP157A-DK1 Discovery Board";
0016 compatible = "st,stm32mp157a-dk1", "st,stm32mp157";
0017
0018 aliases {
0019 ethernet0 = ðernet0;
0020 serial0 = &uart4;
0021 serial1 = &usart3;
0022 serial2 = &uart7;
0023 };
0024
0025 chosen {
0026 stdout-path = "serial0:115200n8";
0027 };
0028 };