[PlanetCCRMA] Planet Kernel config files

[Mark Knecht]

Fernando or anyone who knows,
   Is the config file that you actually use at your site to build the Planet
ACPI kernel binary included in the kernel source download in the configs
directory? If so, which one is it? The file /usr/src/linux/.config looks to
me like it might not be the one you really use, but more of an original
default file. There are a number of candidates in that directory, but I
didn't think you were building all these kernels.

Thanks,
Mark