From mboxrd@z Thu Jan  1 00:00:00 1970
From: linux@arm.linux.org.uk (Russell King - ARM Linux)
Date: Wed, 6 Nov 2013 16:21:59 +0000
Subject: [PATCH 1/1] arm mach-at91: add support for Cosino board series
 by HCE Engineering
In-Reply-To: <1383754767-5398-1-git-send-email-giometti@linux.it>
References: <1383754767-5398-1-git-send-email-giometti@linux.it>
Message-ID: <20131106162159.GB16735@n2100.arm.linux.org.uk>
To: linux-arm-kernel@lists.infradead.org
List-Id: linux-arm-kernel.lists.infradead.org

On Wed, Nov 06, 2013 at 05:19:27PM +0100, Rodolfo Giometti wrote:
> This board has been registered at #4607 on http://www.arm.linux.org.uk:
> 
>     http://www.arm.linux.org.uk/developer/machines/list.php?id=4607

There is no need to register anything there if you're using DT - the
numbers are meaningless with DT.