I think they are working with Microchip on the rad hardened CPUs. Microchip acquired Microsemi which used to make these kind of processors.

https://www.nasa.gov/press-release/nasa-awards-next-generati...