Dear all,
#define MACH_TYPE_WLAN_COMPUTER 2966 +#define MACH_TYPE_DOCKSTAR 2998
NAK. We don't edit mach-types.h manually.
If you need it updated, please send a request to do so to the acting ARM custodian (ahem).
But also note that we always sync against the current mainline Linux kernel, and this does not have an entry for DOCKSTAR yet (it ends at WLAN_COMPUTER), so a new sync would not change the file yet.
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.
Currently I conditionally add the MACH_TYPE_xxx locally to the <board>.h file, but I am quite sure a patch with that would be rejected...
Of course best would be to get rid of mach-types.h completely. It does not really seem suited to differentiate between board variants...
Reinhard