Bug#759389: linux: ppc64el: switch to vmlinuz (from vmlinux)

2014-08-27 Thread Mauricio Faria de Oliveira
On 08/27/2014 04:42 AM, Aurelien Jarno wrote: Thanks, I have just committed this patch, it will be in the next upload. Great! Thanks, Aurelien. -- Mauricio Faria de Oliveira IBM Linux Technology Center -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "u

Bug#759389: linux: ppc64el: switch to vmlinuz (from vmlinux)

2014-08-27 Thread Aurelien Jarno
On Tue, Aug 26, 2014 at 07:35:22PM -0300, Mauricio Faria de Oliveira wrote: > Package: src:linux > Version: 3.16-1~exp1 > Tags: patch > User: debian-powe...@lists.debian.org > Usertags: ppc64el > > Hi maintainers, > > This patch switches the kernel type/image filename on ppc64el > to vmlinuz (fro

Bug#759389: linux: ppc64el: switch to vmlinuz (from vmlinux)

2014-08-26 Thread Mauricio Faria de Oliveira
Package: src:linux Version: 3.16-1~exp1 Tags: patch User: debian-powe...@lists.debian.org Usertags: ppc64el Hi maintainers, This patch switches the kernel type/image filename on ppc64el to vmlinuz (from vmlinux), and drops a workaround patch. $ dpkg-deb -c linux-image-3.16-trunk-powerpc64le_3