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, but as I've done the work, it's useful to file this patch so you > > have the necessary info to hand when the time comes. > > Similar to x32, this Debian architecture should *not* have its own > redundant kernel image package.
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). I agree that the arm64 kernel will work for both. But will dependencies work for automatically bringing that in? Wookey -- Principal hats: Linaro, Debian, Wookware, ARM http://wookware.org/
signature.asc
Description: Digital signature