tree 3625077996f34d366ca417870c1ffc89e13d7853
parent 4a964df844e1f7ba146b691c5c56421d14c110bd
author Alex Van Damme <atv@google.com> 1539814121 -0700
committer Alex Van Damme <atv@google.com> 1539815414 -0700

Move module tools to separate deb, add armhf support

- Move module building tools to linux-kbuild package: linux-headers
depend on this. Basically the same way how Debian handles these tools.
- Add "fake" armhf support: The kernel image is still an ARM64 binary
inside, but the userspace tools are armhf. This'll allow using a 64-bit
kernel with 32-bit userspace, without resorting to funny multiarch
userspaces.

Change-Id: Idbfebdcd845e65c00b45076c2b7e85048f2af534