Bug#693042: linux: please support arch powerpcspe

[Roland Stigge <stigge@antcom.de>]

On 12/11/12 17:48, Bastian Blank wrote:
> On Mon, Nov 12, 2012 at 05:19:36PM +0100, Roland Stigge wrote:
>> On 12/11/12 13:35, Bastian Blank wrote:
>>> On Mon, Nov 12, 2012 at 01:24:06PM +0100, Roland Stigge wrote:
>>>> I'm attaching a patch that supports powerpcspe [1] in linux.
>>>> This is a follow-up for http://bugs.debian.org/593340
>>> Please provide a patch that re-uses the existing config files. I will
>>> not accept full configs any longer.
>> Are there any tools recommended for generating this, or should I just
>> omit CONFIG_ options from the "new" config that are already included in
>> the generic config?
> 
> This config should only include settings relevant for the cpu selection.

I reduced the config (debian/config/powerpcspe/config*) to only cpu
selection. Unfortunately, this seems to be not enough config, even if
automatically merged with debian/config/config: Some driver modules that
are expected later on, are not built.

As an example: "8139too" is missing at kernel-wedge time:

========================================================================
        kernel-wedge copy-modules 3.2.0-4 powerpcspe 3.2.0-4-powerpcspe
...
missing module 8139too
========================================================================

Looking at the other archs' configs, I find CONFIG_8139TOO=m in them,
e.g. debian/config/powerpc/config.

So should I activate the missing modules in powerpcspe's config also,
even if it's not strictly CPU specific? Or add it all to
debian/config/config?

Thanks in advance,

Roland