Annales regni Francorum
The first documented use of a name resembling "Navarra", "Nafarroa", or "Naparroa" is a reference to "navarros", in Eginhard's early-9th-century chronicle of the feats of the Holy Roman Emperor Charlemagne. Other Royal Frankish Annals feature . There are two proposed etymologies for the name.