GNU Mach is an implementation of Mach microkernel. This is the default microkernel in the GNU Hurd operating system.
MINIX is a Unix-like computer operating system based on the microkernel architecture created by Andrew S. Tanenbaum for educational purposes.
I think your question is incorrect. What is the difference between Linux and FreeBSD? Each of these operating systems implemented its own system calls, application interfaces, etc.
L4 is a second-generation microkernel family commonly used to implement Unix-like operating systems, but also used in many other systems. L4, like its predecessor L3, was created by German computer scientist Jochen Lidtke in response to the poor performance of early microkernel-based operating systems.
Read some links below:
source share