Iranian OS?

I'm wondering what OS the Iranians are using. I did a quick search, "What OS does the Iranian government and military use?"

I searched Google and the results from Ai Overview:

Zamin,  National OS for security, Linux, Windows and Aria Mini (Android)

I searched DuckDuckGo and the results:

Zamin, Linux and Windows banned in Government and to use Zamin in place

I searched Perplexity and the results were vague text explaining Iran's network separation of military and government systems