Re:GNU Hurd 0.7 has been released
by skykooler on Saturday October 31, 2015 @02:03PM
(#10483486)
Mac OS X is based on the Mach microkernel. I would think that counts as real-world use.
[ Parent
| on HN ]
Re:GNU Hurd 0.7 has been released
by lobster_johnson on Saturday October 31, 2015 @02:14PM
(#10483529)
XNU (OS X's kernel) doesn't really use Mach as a microkernel. It supports user-mode device drivers, so you might call it a hybrid microkernel, but practically speaking, it's a monolith just like Linux; everything of practical relevance (file system, graphics, most disk and networking I/O) runs in kernel mode. Some parts (high-level USB, Bluetooth, power management, etc.) run as user-space processes, but they talk to kernel-mode device drivers.
(XNU was inherited from NeXT, which was based on Mach 2.5, which was actually not a microkernel at all.)