Arquiteturas de Kernel - Comparação Técnica

[Arquiteturas]	[Espaço do Kernel]	[Drivers]	[Exemplos Reais]	[Uso Comum]
Monolítico	Tudo no kernel.	No kernel	Linux\|FreeBSD	Servidores, desktops, Android
Microkernel	Só IPC, scheduler, memória.	No userspace	QNX\|Minix3\|Hurd	Sistemas embarcados, críticos
Unikernel	App + kernel fundidos.	Compilados com app	MirageOS\|Unikraft	Cloud, serverless
Nanokernel	Só gerencia: CPU/virtualização.	Em camada acima	seL4\|EROS	Verificação formal, RTOS

[Tarefas]	[Comandos]	[Propósitos Técnicos]
Ver versão do kernel em [execução]	`uname -r`	Mostra a versão exata do kernel. [ex: `6.8.0-40-generic]`
Listar: [todos os kernels instalados]	`ls /boot/vmlinuz-*`	Verificar se há kernels antigos para limpeza.
Verificar integridade do kernel [Devuan/Debian]	`debsums -c linux-image-$(uname -r)`	Confirma se arquivos do kernel não foram alterados (requer `sudo apt install debsums`).
Verificar se o kernel: [tem suporte a módulos]	`lsmod`	Lista módulos carregados - se vazio, pode ser kernel monolítico ou sem suporte.
Verificar a existência [atualizações do núcleo do sistema]	`dpkg -l \| grep 'linux-image-'`	Versão mais nova disponível nos repositórios.
Verificar assinatura do kernel [segurança]	`ls -la /etc/apt/trusted.gpg.d/`	Confirma se o kernel vem de fonte autêntica [Debian/Devuan]