Ciò che mostri non è sufficiente: non ci interessa sapere quali file includi, ma un esempio (con preambolo minimale) di ciò che non funziona.
esattamente cosa ti interessa vedere?
Un’altra soluzione è
`\usepackage{textcomp}
\newcommand{\microc}{\textmu{}C/OS-II}`
questa soluzione è funzionante però mi sembra che il tipo di carattere sia diverso dalla soluzione precedente
Togli italian dalle opzioni della documentclass. Anche \selectlanguage{italian} non serve.
Se non dovesse bastare (ora non ho una distribuzione LaTeX sottomano), prova a compilare
tolto italian dalla document class ma se non metto \selectlanguage{italian} mi scrive tutto in greco
Ho compilato il codice che i hai dato e il risultato è quello desiderato, quindi credo che i font greci siano installati bene.