[TUHS] new paper comparing Unix kernel designs

[Donald ODona]

macos uses a (far flung mach derived) osf kernel, which is a hybrid and not a microkernel. Additionally macos utilize other bsd kernel functionality.

At 1 Mar 2018 23:29:36 +0000 (+00:00) from "Nelson H. F. Beebe" <beebe at math.utah.edu>:
> A new paper comparing Unix kernel designs was published earlier today:
> >> ... FreeBSD implements a
> >> traditional compact monolithic Unix kernel, whereas Mac OS builds the
> >> BSD Unix functionality on top of the Mach microkernel. The authors
> >> provide an in-depth technical investigation of both approaches.