From the Old Norse name Hallþórr, which meant "Thor's rock" from hallr "rock" combined with the name of the Norse god Þórr (see <a href="details.php?no=&n=THOR">THOR</a>).