Etymology
Today it means: Rock containing ore from which minerals are extracted. Full definition →
From hard + rock.
Etymology from Wiktionary, CC BY-SA 4.0.