SpaceXAI backs Omarchy, the controversial Linux distro, with $1.5 million in compute