Username or EmailPassword
BS, the perfect system would only use verified code.
But as with microkernels, "it just doesn't work in the real world"(tm) for most use cases.
And Tannenbaum is just a bitter old man that is full of it. Dog slow Minix on embedded systems .. yeah right.
Head over to LWN to read the other side of the story ( http://lwn.net/Articles/467852/#Comments )
Bullshit is not the future. Managed (verified, as you say) code is. Moron. Read what I said.
If you want to see a moron look into a mirror.
Maybe you will grok the difference but I doubt it.
Please respect the old guys; you are walking on the roads they built for us!
About microkernels: XNU (the Mac OS X microkernel base) shows they are completely viable; QNX is also a viable option.
XNU is not a microkernel and a million posts by AFs will not change that. Sure some parts of XNU were based on MACH (http://en.wikipedia.org/wiki/Mach_kernel) long ago, but combined with all the FreeBSD stuff Apple ended up with something that is defintely not a microkernel. It is even more a monolith than it is a hybrid. The difference between KFreeBSD and XNU is not that great.