K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2006-07-14T21:59:54.000000Z
K 7
svn:log
V 189
For the moment, make board configuration a compile time option.  This
saves space in the final kernel, but at the expense of flexibility to
boot the same kernel accross a family of boards.

END