Microsemi (now part of Microchip) makes rad-hardened FPGAs, more so than Xilinx I think, and these days some of them (PolarFire SoC) include a penta-core 600-666 MHz 64 bit RISC-V processor: 4 Linux capable cores, plus one core without FPU, MMU, caches, and able to disable branch prediction, for real-time control purposes.
