K 10
svn:author
V 6
msmith
K 8
svn:date
V 27
1999-01-15T17:25:02.000000Z
K 7
svn:log
V 166
Add getenv_int(), specifically for retrieving integer values from kernel
environment variables.  This makes it easy to pass tuning parameters
in from the bootloader.

END