1// SPDX-License-Identifier: GPL-2.0-or-later
2/dts-v1/;
3
4#include "ste-dbx5x0-u-boot.dtsi"
5#include "ste-ab8500.dtsi"
6
7/ {
8	compatible = "samsung,stemmy", "st-ericsson,u8500";
9
10	chosen {
11		stdout-path = &serial2;
12	};
13
14	soc {
15		/* Debugging console UART */
16		uart@80007000 {
17			status = "okay";
18		};
19	};
20};
21