There are a small number of options available to alter aspects of the kernel. These are defined and described in `kernel/config.h'. It is unlikely that you will ever need to change any of these.