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.
Permalink for comment 497855
To read all comments associated with this story, please click here.
RE[7]: MicroKernel's
by DeepThought on Mon 21st Nov 2011 21:45 UTC in reply to "RE[6]: MicroKernel's"
DeepThought
Member since:
2010-07-17

You can have memory protection even if you run in supervisor mode. Only supervisor code is "capable" of changing the MMU/MPU to enhance its rights.
But if the supervisor code is proven (big word I know) to be correct (either mathematically or by design/review: Check IEC61508), then there is no problem.

But for sure, the more software is in userland the easier to protect the kernel and other parts of the system.

Reply Parent Score: 1