May 161999

Kernel Configuration Options

This section tells you where to find out about the various kernel configuration options.


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.