* Nico Golde wrote: > why the debian kernel-packages don't provide the config file via > /proc? Because the file is available in '/boot/config-$(uname -r)'. Norbert