Real-time operating system kernels in embedded systems need to be configurable. Unfortunately many of today's commercial real-time kernels are monolithic. These optimized code packages are difficult ...

Microkernel é uma arquitetura de núcleo de sistema operacional no qual a maioria das funções é executada fora do núcleo central, ao contrário de um kernel monolítico. Enquanto os kernels monolíticos ...