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