freebsd should be rewritten based on microkernel architecture

Kurt Hackenberg kh at
Fri Apr 17 19:30:02 UTC 2020

On 2020-04-17 14:51, Steve O'Hara-Smith wrote:

>>> 	If the OP wants FreeBSD running on a microkernel then surely
>>> Darwin is where they should start looking - mostly FreeBSD running on
>>> Mach which
>>> is a bona-fide message passing microkernel.
>> It's a tangent to this thread, but: can you point to anything which
>> discusses this in more detail?
> 	The horses mouth:
> <>



 From that last one:

"XNU is a hybrid kernel, containing features of both monolithic kernels 
and microkernels, attempting to make the best use of both technologies, 
such as the message passing ability of microkernels enabling greater 
modularity and larger portions of the OS to benefit from memory 
protection, and retaining the speed of monolithic kernels for some 
critical tasks."

More information about the freebsd-questions mailing list