Existe o projeto do Debian GNU Hurd, que se utiliza de um microkernel,
mas acho que está parado, o último release foi em 7/2019:
"The *GNU Hurd* is the GNU project's replacement for the Unix kernel. It
is a collection of servers that run on the Mach microkernel to implement
file systems, network protocols, file access control, and other features
that are implemented by the Unix kernel or similar kernels (such as
Linux). More detailed
<https://www.gnu.org/software/hurd/hurd/documentation.html>.
*GNU Mach* is the microkernel upon which a GNU Hurd system is based. It
provides an Inter Process Communication (IPC) mechanism that the Hurd
uses to define interfaces for implementing in a distributed multi-server
fashion the services a traditional operating system kernel provides"
https://www.debian.org/ports/hurd/index
Vinicius
Em 07/01/2021 16:11, Paulo escreveu:
Olá Debinianas e Debinianos,
Por que, em vez de ter um kernel monolítico e grande.
O kernel não poderia ser mínimo e os módulos adicionados?
Sem ter que compilar o kernel para cada novo módulo.
Isso tornaria o kernel mais simples, rápido e menor.
Não sei as dificuldades de fazer isso, nem as implicações.
Aceito sugestões desde que sejam construtivas e até orientações que me
expliquem o porque do kernel ser grande e termos que recompilar para
um módulo (Ex: Sensor de Impressão Digital).
Att,
Paulo Correia