The supported distributions are RedHat Enterprise 6 & 7, Ubuntu LTS 14.04, 16.04 & 18.04 and Debian 9.
First class citizen even!
I am also curious about this:
NanoXplore has developed Radiation-Hardened By Design SRAM-based FPGA devices for use into systems operating in harsh environments, such as Spaceborne and Airbone applications, as well as Military and High-Energy Physics subsystems.
Rather interesting! Is there per chance any place where to get one of these devices?
I can think of at least someone willing to try (and fail?) a Yosys port.
Did you implement your own toolchain?