Como a SpaceX usa o Linux