Hi Guix,
is it possible to cross-compile a kernel for use with "guix
deploy"? I want to deploy to a slow aarch64-linux board, but
building the kernel locally on my laptop via qemu binfmt is
extremely slow. On the target board it runs out of memory, so
that's not an option either.
I can cross-build the kernel easily within two hours on my laptop.
But I cannot find a way to convince "guix deploy" to use that
cross-compiled kernel for the target machine.
Does anyone here have an idea how to do something like this?
--
Ricardo
