title: What is the difference b/w Hurd and Minix?
body: <p>Knowing both are micro-kernels, what is the difference b/w Mach (on which Hurd is based on) and Minix. Are there any architectural differences? A little light over "what is L4" would be very helpful. I cannot find any documents covering this.</p>