The ESA and NASA and the like are also using LEON [1] for a lot of their work these days.

[1] https://en.wikipedia.org/wiki/LEON