Bug#874536: linux: arm64ilp32 support

2017-09-07 Thread Wookey
On 2017-09-07 16:01 +0100, Ben Hutchings wrote: > On Thu, 2017-09-07 at 15:01 +0100, Wookey wrote: > > OK, but we need the kernel-headers package in order build the > > toolchain, so at least that needs to be built (which is in fact all I > > have done/tested so far). > > Yes, and that's trivial

Bug#874536: linux: arm64ilp32 support

2017-09-07 Thread Ben Hutchings
On Thu, 2017-09-07 at 15:01 +0100, Wookey wrote: > On 2017-09-07 14:46 +0100, Ben Hutchings wrote: > > > Attached are the packaging changes needed to make the kernel build for > > > arm64ilp32. > > > > > > The arm64ilp32 (aarch64-linux-gnu_ilp32) kernel support is not yet > > > merged upstream, s

Bug#874536: linux: arm64ilp32 support

2017-09-07 Thread Wookey
On 2017-09-07 14:46 +0100, Ben Hutchings wrote: > > Attached are the packaging changes needed to make the kernel build for > > arm64ilp32. > > > > The arm64ilp32 (aarch64-linux-gnu_ilp32) kernel support is not yet > > merged upstream, so I guess you are not going to include this until it > > is,

Bug#874536: linux: arm64ilp32 support

2017-09-07 Thread Ben Hutchings
Control: tag -1 upstream Control: tag -1 - patch Control: notfound -1 4.9.30-2+deb9u2.1 Control: found -1 4.13~rc7-1~exp1 On Thu, 2017-09-07 at 04:43 +0100, Wookey wrote: > Source: linux > Version: 4.9.30-2+deb9u2.1 > Severity: wishlist > Tags: patch > > Attached are the packaging changes needed

Bug#874536: linux: arm64ilp32 support

2017-09-06 Thread Wookey
Source: linux Version: 4.9.30-2+deb9u2.1 Severity: wishlist Tags: patch Attached are the packaging changes needed to make the kernel build for arm64ilp32. The arm64ilp32 (aarch64-linux-gnu_ilp32) kernel support is not yet merged upstream, so I guess you are not going to include this until it is,