Kernelkonfiguration von Raspbian exportieren

Vor kurzem kam ein Kunde auf mich mit der Frage zu, ob und wie man die Kernelkonfiguration von Raspbian exportieren könnte. Wozu man das brauchen kann? In der Regel um diesselbe Config auf vielen Raspberry Pi's zu testen bzw. zu nutzen. Um die Konfiguration einzusehen und zu exportieren muss das Modul configs geladen werden. sudo modprobe configs Wenn das Modul geladen ist, kann man die Konfiguration aktuellen Kernels einsehen bzw. exporieren und speichern. sudo zless /proc/config.gz Mit dem folgenden Befehl können Sie die Kernelkonfiguration in eine Datei exportieren. sudo zcat /proc/config.gz > config