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

[Aurelien Jarno <aurelien@aurel32.net>]

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-powerpc@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.16-1~exp1ppc64el1_ppc64el.deb |
> fgrep vmlinu
> 	-rw-r--r-- root/root   4306765 2014-08-21 20:20
> ./boot/vmlinuz-3.16-trunk-powerpc64le
> 
> 	$ dpkg-deb -c kernel-image-3.16-trunk-powerpc64le-di_3.16-1~exp1ppc64el1_ppc64el.udeb
> | fgrep vmlinu
> 	-rw-r--r-- root/root   4306765 2014-08-21 20:22 ./boot/vmlinuz
> 
> The zImage build is available starting with linux 3.16, with the
> introduction of the '64bit little endian wrapper' patch-set.
> (FYI, this is also happening in Ubuntu LP #1358920 [1])
> 
> The necessary changes for d-i will be submitted shortly (on #754093).
> 
> May you please consider it for an upload?
> 

Thanks, I have just committed this patch, it will be in the next upload.

Aurelien

-- 
Aurelien Jarno                          GPG: 4096R/1DDD8C9B
aurelien@aurel32.net                 http://www.aurel32.net