Open
Description
Between #417 and #426 there's enough of a case for adding proper support for cross-compiling to the build system.
Ideally this should allow for all of:
- Full cross-compilation of tender and bindings, at least to a different
ARCHor toolchain on the same host. e.g. build foraarch64-linux-gnuonx86_64-linux-gnu. - Override toolchain used for tenders to allow for instrumentation ((WiP): Afl gcc #417).
- Other cases such as building the Genode bindings in-tree (Genode build integration #426).