On 2014-09-07 04:42, Ben Hutchings wrote:

On Fri, 2014-09-05 at 09:09 -0300, Thadeu Lima de Souza Cascardo wrote:

quoted

On Fri, Sep 05, 2014 at 05:55:18PM +1000, Michael Neuling wrote:

quoted

On Fri, 2014-09-05 at 09:13 +0200, Gabriel Paubert wrote:

quoted

On Fri, Sep 05, 2014 at 03:28:47PM +1000, Michael Neuling wrote:

quoted

The Debian powerpc little endian architecture is called ppc64le.  This

Huh? ppc64le or ppc64el?

ppc64el.  Commit message is wrong.  Fixed below.

Mikey

What about ppc64?

Also, I sent that already a month ago. Both linuxppc-dev and Michal
Marek were on cc.

http://marc.info/?l=linux-kernel&m=140744360328562&w=2

Anyone using powerpc (32-bit) will then need to add ppc64 as a foreign
architecture before they can install a 64-bit custom kernel.  This is
fine in principle, except that ppc64 is not an official Debian port and
its packages are not mirrored on the same servers.

[...]

So I think Michael's version, leaving big-endian kernels as powerpc by
default, is preferable for now.

I applied v2 of Michael's patch to kbuild.git#misc.

Michal