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};
14
15&seville_port0 {
16	label = "ETH5";
17};
18
19&seville_port2 {
20	label = "ETH7";
21};
22
23&seville_port4 {
24	label = "ETH9";
25};
26
27&seville_port6 {
28	label = "ETH11";
29};
30