[U-Boot] ARM mach-types.h (was: Re: [PATCH 1/5] add DOCKSTAR machine type)

[Reinhard Meyer]

Dear Paulraj, Sandeep,
> We are in sync with the latest in linux kernel
>
> Take a look at
>
> http://git.kernel.org/?p=linux/kernel/git/next/linux-next.git;a=history;f=arch/arm/tools/mach-types;h=48cbdcb6bbd4288929f31bef94da3691b160a489;hb=917977d107c9640dbb29ce85542735ad56e3aa5a

Please read the whole thread.

The point was that the kernel is about 2 months behind
the entries in http://www.arm.linux.org.uk/developer/machines/

Best Regards,
Reinhard