[PlanetCCRMA] kernel source for planetedge kernels?

[Peter Lutek]

greetings!

i've got some empty directories in /proc/acpi (most notably /battery),
indicating that the ACPI implementation on my machine (acer travelmate
4002WLMi) is not fully functioning. in order to debug this, i may need
to patch the kernel with a DSDT image. i don't see the kernel sources
for the planetedge kernels in the repository. is it possible to get
them? i'm running 2.6.8.1-1.520.1vP9.rhfc2.ccrma.

thanks!

-p