Not to discount the question, because it's still interesting, but most of SpaceX's hardware doesn't leave the ionosphere.
You can start poking around here: https://www.nasa.gov/content/commercial-lunar-payload-servic...
There's actually quite a few options in the "next gen" space, as many observed the need for updated compute. The one I've been closest to is HPSC: https://www.nasa.gov/directorates/spacetech/game_changing_de...