A grande questão é que nem todos os sistemas operacionais organizam os seus grupos de funções utilizando a mesma estrutura. Enquanto alguns SO associam todos os grupos em um grande bloco de programa, outros separam os serviços em diferentes módulos, que são executados em contextos diferentes.
Há, ainda, os sistemas operacionais que organizam as suas funções em camadas, ou os que têm como base para funcionamento uma abstração do hardware do computador.
De uma forma geral, a literatura classifica as diferentes arquiteturas utilizadas para o desenvolvimento dos sistemas operacionais em cinco categorias:
a) MonolíticaVeremos cada uma dessas categorias a seguir.
b) Em camadas
c) Micronúcleo
d) Máquina Virtual
e) Híbrido