jordan@ucbarpa.Berkeley.EDU.UUCP (02/18/87)
I have found that most people who have HUGE kernels have them because they haven't properly configured them ... or who haven't taken the time to understand config. My 4.3 kernel is under 300k, down from 425k when I inherited the machine. /jordan