K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1996-03-31T18:01:55.000000Z
K 7
svn:log
V 105
Update the information about kernel options.  Mention the ``new option
scheme''.

Closes PR # docs/1110.

END