Oops, I just realized that the command I gave to see the running kernel configuration: > # gzip -c /proc/config.gz Is wrong. That should be "gunzip". :) Jeff