proconfig is a Linux kernel patch which lists the running kernel's compilation options in /proc/config. This makes kernel image administration easy if you compile a lot of kernels or admin a lot of machines. The code is compiled as a kernel module by default. The patch integrates with the kernel Makefiles, so it shows up conveniently under make menuconfig and friends.