If no usable natural caves are found an artificial tunnel can be drilled into a rock mountain. The walls of the tunnel must probably be stabilized. For automated construction, the usage of segmented rings or arch segments can be considered, made from compressed regolith, sintered regolith or concrete.