[PATCH 1/1] arm mach-at91: add support for Cosino board series by HCE Engineering

[Russell King - ARM Linux]

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.