Calvin wants his watterson driver included in the kernel build. The watterson driver depends on the pci and hobbes modules, and needs to have the option of being a loadable module or directly linked into the kernel. What should the Kconfig entry look like