The earliest document mentioning the mosque is Abd al-Sadi's Tarikh al-Sudan which gives the early history, presumably from the oral tradition as it existed in the mid-seventeenth century.
Waruwan akatan taha tamizgida eqal Tarikh al-Souda ən Abd al-Sadi wa ifan tanfust taturuwan, tolahat əd tedagit tan tənfas ən magrad amosnen atilan daɣ amas ən 17 temede nawatay.