// SPDX-License-Identifier: GPL-2.0 /* * Copyright 2015 Juergen Borleis, Pengutronix */ /dts-v1/; #include #include "imx6dl.dtsi" #include "imx6qdl-skov-imx6.dtsi" / { model = "Skov IMX6"; compatible = "skov,imx6", "fsl,imx6dl"; chosen { stdout-path = &uart2; }; }; &hdmi { status = "disabled"; };