No it is separate, TSK (Cyprus Turkish Peace Force Command) and GKK (TRNC Security Forces Command) own different armored vehicles; we have Otokar Akreps, Engereks, Unimogs while TSK has ACV-300, M48, M113,M110s, MAN and BMC Trucks.. well maintenance wise may be some sort of cooperation exists but mostly barracks, trainings and responsibility area is different. TRNC troops are lightly armed, mostly infantry regiments ( we don't have tanks or mechanized divisions), TRNC toops are mostly spread across the border, securing the border while TSK troops are in the bases behind the line. Different inventory and different tasks.. I was also made my duty on the border and our battle plan is to hold enemy if they attack us, until TAF comes to aid
that is the only objective.
If I were military procurement department here, I would go and buy second hand MAN trucks from UK or Netherlands. And many Umtas/Omtas for infantry, may be some UAVs, low cost but effective weapons. Once there was a commander who is enthusiast with new Turkish defence products. He wanted to buy Nurol Ejder 4x4 and Anka but later abandoned because of high price (at least $1m per ejder if I remember correctly) (BTW, GKK has a separate budget from the government, GKK gets a percentage of every import tax, also military aid from Turkey most of the time, despite not funded pass couple of years.)
Anyway we couldn't afford our UAVs but due to recent geopolitical tensions TAF put TB2s to Gecitkale Airport (Unfortunately this killed civil aviation events & trainings here, because no other airport left.) There was 2 civil airport (Ercan and Gecitkale) and one GKK small heliport /Airport in Kırnı Village, next to main base, may be TAF also used that base before.