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

[Reinhard Meyer <u-boot@emk-elektronik.de>]

Dear Wolfgang Denk,
> Dear Reinhard Meyer,
>
> In message<4C873717.6000403@emk-elektronik.de>  you wrote:
>>
>> Since it apparently takes roughly two months for additions to the database
>> at http://www.arm.linux.org.uk/developer/machines/ (last entry: 3061 right now)
>> to trickle to the u-boot file, there seems to be a need for an interim solution.
>
> In theory it would be possible to sync against www.arm.linux.org.uk
> directly, but people with better ARM knowledge than me recommended not
> to do that, but refer to a more stable reference like the mainline
> Linux kernel instead.
>
> I'm open to suggestions.

I'd allow manual adding of a #define MACH_TYPE_xxxx at the end of the list
provided its value is higher than the last "official" entry. Once the official
list reaches or goes beyond that value the manual line(s) would be removed.
Not being a shell script guru, I think that could be easily done.

Another option would be to derive the file directly from above website.

One catch remains, of course: I someone changed their entry at the database,
compilation of u-boot for that board could break. I think that entries that
have propagated to the mainline Linux kernel cannot be changed anymore.

I'd also think the u-boot mach-type.h could do well without all the function
definitions. I have not grepped, however, if someone in u-boot uses them.

Reinhard