Linked by Thom Holwerda on Thu 11th May 2006 19:19 UTC, submitted by Christopher Nelson
The microkernel vs. monolithic debate, whether you boys and girls like it or not, rages on. After Tanenbaum's article and an email from Torvalds, another kernel developer steps up, this time in favour of the muK. A developer of the muK-based Coyotos writes: "Ultimately, there are two compelling reasons to consider microkernels in high-robustness or high-security environments: there are several examples of microkernel-based systems that have succeeded in these applications because of the system structuring that microkernel-based designs demand, [and] there are zero examples of high-robustness or high-security monolithic systems."
Permalink for comment 123867
To read all comments associated with this story, please click here.
To read all comments associated with this story, please click here.
Member since:
2005-11-17
Solaris has been deployed in both of those cases. It has EAL4+ for RBACPP, CAPP and when the Trusted variant is used LSPP as well. For confidential data, try upto and above the military Top Secret Classification, whats more it is trusted to enforce data separation and authoristed flow between classified and unclassfied data.
There are companies trying to do the same with SE Linux (and they will succeed) and there were several other UNIX systems that had labeled data protection functionality in them.