1// SPDX-License-Identifier: GPL-2.0-or-later
2/*
3 * T1040RDB-REV-A Device Tree Source
4 *
5 * Copyright 2014 - 2015 Freescale Semiconductor Inc.
6 *
7 */
8
9#include "t1040rdb.dts"
10
11/ {
12	model = "fsl,T1040RDB-REV-A";
13	compatible = "fsl,T1040RDB-REV-A";
14};
15
16&seville_port0 {
17	label = "ETH5";
18};
19
20&seville_port2 {
21	label = "ETH7";
22};
23
24&seville_port4 {
25	label = "ETH9";
26};
27
28&seville_port6 {
29	label = "ETH11";
30};
31