More likely on top of the Super Heavy + Starship, but yes. All of Musk's initiatives are centered around the Mars goal:

Tesla: Transportation on Mars and power (battery-tech).

SolarCity: Power on Mars

Boring Company: Automated tunneling, important for building habitats, cheap radiation shielding.

SpaceX: To get there