> But, I can't find the .config that was used to build this > kernel. Does debian package this file anywhere? /boot/config-2.4.25 Regards, MB