May 161999
Kernel Configuration Options
This section tells you where to find out about the various kernel configuration options.LINT
All of the kernel configuration options are documented in /usr/src/sys/i386/conf/LINT. For example, if you open this file and search for ipfilter and you will find:# IPFILTER enables Darren Reed's ipfilter package. # IPFILTER_LOG enables ipfilter's logging.
and a little below that:
options IPFILTER #kernel ipfilter support options IPFILTER_LOG #ipfilter logging
For our example, if you need to add support for ipfilter, you would add the following line to your kernel configuration file:
options IPFILTER #kernel ipfilter support
To build your new kernel, you should follow the instructions for Building and Installing a Custom Kernel.