mips64el machine - mrustc

[Danny Milosavljevic]

Hi,

does anyone have a mips64el machine?
Could I have an (unprivileged) account on one for a little while?

I'm trying to get mrustc to work on mips64el, but I don't have such a machine 
and
transparent Guix qemu-binfmt-service-type doesn't seem to work for it either
(but does work for aarch64 and arm, WTF?).

Alternatively, I can also send a few commands for you to execute there.

What I'd need is:

* Find out what the gcc triplet is
* Test the mrustc patch I have done to get 
https://github.com/daym/mrustc/tree/mips64 .
  This means: make -f minicargo.mk
* Build address@hidden in current guix master.
  This means: guix build address@hidden

pgpT1Af8QEgWp.pgp
Description: OpenPGP digital signature