The text a5004b45ce18, as OpenBSD 3.1 shipped it.
miscellaneous kernel configuration options
options(4) on OpenBSD now
