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 		serial0 = &uart4;
21 		serial1 = &usart3;
22 		serial2 = &uart7;
23 	};
24 
25 	chosen {
26 		stdout-path = "serial0:115200n8";
27 	};
28 };
29