There are a small number of options available to alter aspects of the kernel. These are defined in kernel/config.h.
kernel/config.h
[eventually describe all of them?]