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, 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).
Yes, and that's trivial to add once dpkg recognises the architecture (remember that you have to get it added in stable, since dak uses the stable version to validate the architecture list in an upload). > I agree that the arm64 kernel will work for both. But will > dependencies work for automatically bringing that in? The only dependencies on kernel image packages are (or should be) from the corresponding metapackages. Once those are installed, upgrades should work automatically. However, d-i and vmdb will need to be changed to add the foreign architecture and install a foreign kernel metapackage. Ben. -- Ben Hutchings Time is nature's way of making sure that everything doesn't happen at once.
signature.asc
Description: This is a digitally signed message part
