Bug#754093: debian-installer: ppc64el: ping / vmlinuz

2014-08-26 Thread Aurelien Jarno
Hi, On Wed, Aug 27, 2014 at 01:32:32AM +0200, Cyril Brulebois wrote: > Hi, > > and thanks for both the bug report and the patch. > > Mauricio Faria de Oliveira (2014-08-26): > > Would you have any news/comments about the patch attached in this bug? > > I'll rather let Aurelien comment on ppc64

Bug#754093: debian-installer: ppc64el: ping / vmlinuz

2014-08-26 Thread Mauricio Faria de Oliveira
On 08/26/2014 08:32 PM, Cyril Brulebois wrote: and thanks for both the bug report and the patch. Sure; my pleasure. Mauricio Faria de Oliveira (2014-08-26): >Would you have any news/comments about the patch attached in this bug? I'll rather let Aurelien comment on ppc64el patches. (Also, s

Bug#754093: debian-installer: ppc64el: ping / vmlinuz

2014-08-26 Thread Cyril Brulebois
Hi, and thanks for both the bug report and the patch. Mauricio Faria de Oliveira (2014-08-26): > Would you have any news/comments about the patch attached in this bug? I'll rather let Aurelien comment on ppc64el patches. (Also, some bits could probably be shared between powerpc and ppc64el?) >

Bug#754093: debian-installer: ppc64el: ping / vmlinuz

2014-08-26 Thread Mauricio Faria de Oliveira
Package: src:debian-installer Tags: patch Hi, Would you have any news/comments about the patch attached in this bug? We would like to switch the kernel on ppc64el to vmlinuz starting with 3.16 (introduction of zImage support for 64el). I am attaching an interdiff for that, on top of the previo