Bug#708070: enable x32 support for the amd64 kernels

[Robert de Bath <robert$@debath.co.uk>]

On Thu, 24 Jul 2014, Ian Campbell wrote:

> On Thu, 2014-07-24 at 20:22 +0100, Robert de Bath wrote:
> > On Thu, 24 Jul 2014, Ian Campbell wrote:
> But that's rather different to now enabling x32 in the arch=amd64 kernel
> which is what #708070 is about. Likewise creating a new
> flavour=x86,arch=amd64 kernel.
>
> What the people responsible for the x32 arch on debian-ports do wrt an
> arch=x32 flavour is up to them, but that's the situation analogous to
> what you are referring to.
>
> Ian.

I was referring to the package that's now called
linux-image-3.14-1-amd64:i386 not linux-image-3.14-1-amd64:amd64

The equivalents would be approximatly linux-image-3.14-1-x32:amd64 and
linux-image-3.14-1-x32:i386 not any packages in the new port.

Frankly when Ben said "... those where the administrator actually wants to
support x32." I took that to be him hinting that there would be such a 
package "shortly" so the administrator could make the choice easily.

As that doesn't seem to be the case I decided to speak up; but now I'm
wondering where you're going with this?

> --
> To unsubscribe, send mail to 708070-unsubscribe@bugs.debian.org.

--
Rob.                          (Robert de Bath <robert$ @ debath.co.uk>)
                                             <http://www.debath.co.uk/>