Reputation: 10082
I'm working on an embedded ARM Debian Linux system. The system ships with a default image on the SD card. What I'd like to do is try and determine which kernel settings where used in building the kernel that's running on that card.
Is there any way to do that?
Upvotes: 1
Views: 1444
Reputation: 326
Assuming no copy can be found under /boot
then:
If CONFIG_IKCONFIG_PROC
is set then a compressed copy of the configuration will be found at /proc/config.gz
If CONFIG_IKCONFIG
is set but not CONFIG_IKCONFIG_PROC
the extract-ikconfig script can be used to extract the .config file from a kernel image file (http://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/tree/scripts/extract-ikconfig?id=HEAD)
Upvotes: 3