Post by l***@gmail.comCan you update the articles about how to build GNU Mach and GNU MIG? The URL of git repositories are obsolete
I could try to do that. I've only ever actually built GNU Mach before.
It's much easier to build them if you are running debian. Though now I
believe GNU Guix can build them too!