freebsd should be rewritten based on microkernel architecture

Steve O'Hara-Smith steve at
Fri Apr 17 16:18:50 UTC 2020

On Fri, 17 Apr 2020 12:46:35 +0200
Tomasz CEDRO <tomek at> wrote:

> 1. Turn FreeBSD kernel into microkernel.

	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.

Steve O'Hara-Smith <steve at>

More information about the freebsd-questions mailing list