A small hammer used by a judge (or person in charge of a formal meeting) that they bang on a desk to get people’s attention. Uncertain origin, perhaps Scottish dialect “kevel”=a small hammer used to break stones.