whinestone
/ˈhwɪnstəʊn/Definitions
1. noun
A type of grey or blue-grey sandstone, often found in Northern England, used for building and making whetstones.
“The old mill was built with local whinstone, giving it a distinctive appearance.”
2. noun
A stone used as a whetstone.
“He used the whinstone to sharpen his knife.”