Otros tipos de sistemas operativos también son: