4 ms·Mach microkernel + FreeBSD userland.... not kernel. BSD is a 'personality' layer.by TickleSteve 10y agoMach microkernel + FreeBSD userland.... not kernel. BSD is a 'personality' layer.