Después de la invasión musulmana, cuando acababa, prácticamente, de nacer el Reino de Aragón, llegaron noticias de que se habían descubierto sus restos en el Pirineo.