Definition of rock drill in US English:

rock drill

noun

  • A drill for boring into rock.

Origin

Mid 19th century; earliest use found in United States Patent 9, 555X.