Hi!
Ricardo Wurmus <[email protected]> skribis:
> Cross building the whole system won't easily work because not all
> build systems support it.
It works reasonably well for a headless kind of config (I’ve used that
for my A20-OLinuXino, ARMv7).
> I wonder if it would be of general interest to just allow for the
> kernel to be cross-built. I'm not sure where to add it.
You could try:
(operating-system
;; …
(kernel (with-parameters ((%current-system "x86_64-linux")
(%current-target-system "aarch64-linux-gnu"))
linux-libre)))
But then, since the rest would still be built (or downloaded) natively,
you need to set up offloading from the AArch64 board to an x86_64-linux
machine so it can spawn that cross-build.
Maybe that can work.
Ludo’.
