Hi Bálint, is hardened1-linux-any still a thing? I haven't seen any activity nor bootstrapping efforts on this in a while. If this is a dead end, I suggest closing the Cced gmp bug #810659. Helmut