K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2012-05-10T18:06:00.721699Z
K 7
svn:log
V 242
Generate board id's from Linux's mach-types database for all arm
ports.  This currently is a nop, but will soon be used to allow
support for multiple boards to be built into one kernel (starting with
AT91RM9200 and expanding out from there).

END