Quanto a sua estrutura, os sistemas operacionais podem ser classificados como sistemas monolíticos, sistemas em camadas ou máquinas virtuais. São exemplos desses modelos, respectivamente: