Get the current Linux kernel configuration

The Linux kernel configuration is not shipped in /boot directory, but as the option of the Linux Kernel CONFIG_IKCONFIG_PROC has been enabled, it is possible to get the kernel configuration of a running Linux kernel reading /proc/config.gz. This file expose the kernel configuration as gzip compressed data. So the content of this file can be displayed thanks to:

$ zcat /proc/config.gz