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};