Genadio, general en África, aniquila a los moros, derrota en la guerra y mata con la espada al mismo rey Garmules, muy valiente, quien con anterioridad había dado muerte a tres generales del ejército romano, mencionados antes.