>> 3. Created ‘mips64el-linux-gnuabi64’ in ‘gnu/packages/bootstrap/’.

> Hmm, I think we should just call it ‘mips64el-linux’ since the ABI is
> really something orthogonal.

I’ve already tried that:

$ ./pre-inst-env guix build -K -s mips64el-linux-gnuabi64 hello

[…]

ERROR: bootstrap binary not found "tar" "mips64el-linux-gnuabi64"

How would you change ‘bootstrap.scm’ to handle this?

>>    * It’s 2.0.9.  I decided not to touch ‘%bootstrap-guile’ for now to
>>      avoid errors.

> What do you mean?  ‘%bootstrap-guile’ needs to refer to that new
> tarball, right?

Yes, ‘%bootstrap-guile’ expects a binary called ‘guile-2.0.7.tar.xz’:

  (guile (->store "guile-2.0.7.tar.xz"))

> When we want to support multiple ABIs for a given ARCHITECTURE-KERNEL
> tuple, we’ll have to provide a mechanism in addition to --system that
> would allow users to select the libc/gcc/binutils to use, I think.

It would be better to do that, yes.