Any of various hard colored rocks (especially rocks consisting of chert or basalt) English: whinstone, whin