What is "garmul"

Garmul was a powerful Berber king of the Kingdom of Altava and successor of Mastigas in 541. Garmul, who destroyed a Byzantine army in 571, launched raids into Byzantine territory, and three successive generals (the praetorian prefect Theodore and the magister militum Theoctistus in 570, and Theoctistus' successor Amabilis in 571) are recorded by John of Biclaro to have been killed in a battle by Garmul's forces. His activities, especially when regarded together with the simultaneous Visigoth attacks in Spania, presented a clear threat to the province's authorities. Thus the new emperor, Tiberius II Constantine, re-appointed Thomas as praetorian prefect, and the able general Gennadius was posted as magister militum with the clear aim of ending Garmul's campaigns. Preparations were lengthy and careful, but the campaign itself, launched in 577–78, was brief and effective, with Gennadius utilizing terror tactics against Garmul's subjects. Garmul was defeated and killed by 579, and the coastal corridor between Tingitana and Caesariensis secured.