Linked by Thom Holwerda on Mon 21st Nov 2011 11:25 UTC, submitted by moondevil
OSNews, Generic OSes You all know MINIX - a microkernel operating system project led by Andrew Tanenbaum. The French Linux magazine LinuxFr.org has an interview with Andrew Tanenbaum about MINIX' current state and future. There's some interesting stuff in there.
Thread beginning with comment 497796
To view parent comment, click here.
To read all comments associated with this story, please click here.
RE: Comment by peteo
by kragil on Mon 21st Nov 2011 13:20 UTC in reply to "Comment by peteo"
kragil
Member since:
2006-01-04

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 )

Reply Parent Score: 7

v RE[2]: Comment by peteo
by peteo on Mon 21st Nov 2011 17:15 in reply to "RE: Comment by peteo"
RE[3]: Comment by peteo
by kragil on Mon 21st Nov 2011 17:32 in reply to "RE[2]: Comment by peteo"
kragil Member since:
2006-01-04

If you want to see a moron look into a mirror.
http://en.wikipedia.org/wiki/Formal_verification
http://en.wikipedia.org/wiki/Managed_code
Maybe you will grok the difference but I doubt it.

Reply Parent Score: 5

RE[2]: Comment by peteo
by ebasconp on Mon 21st Nov 2011 20:56 in reply to "RE: Comment by peteo"
ebasconp Member since:
2006-05-09

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.

Reply Parent Score: 3

RE[3]: Comment by peteo
by kragil on Mon 21st Nov 2011 23:35 in reply to "RE[2]: Comment by peteo"
kragil Member since:
2006-01-04

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.

Reply Parent Score: 3