http://jehanne.io/2021/01/06/gcc_on_jehanne.html
Should support more architectures than Hurd ;) Anyways, just throwing this out there, as I - and I imagine every other contributor - have some more pressing projects. It probably wouldn't be able to run most packages and services without some significant work but it could maybe still use Guix as a package manager. seL4 would be cool too.