> It should be available at /boot/config-`uname -r` That would be true after the system installation finishes. What I am looking for is the config file for the kernel runs the installation process. For some reasons I suspect that there might be some difference between the kernel that installs Debian and the kernel that gets installed on the hard drive.
To see what I am talking about, please see the bug report [1]. Thanks. [1] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=633128 -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/calxxvm7+tuvemvmc3pwxzvon0ty-q6g+rqqyhigmnmkm-ev...@mail.gmail.com