Free Republic
Browse · Search
General/Chat
Topics · Post Article

To: antiRepublicrat

-In my perfect world, NOBODY would give any drivers kernel access.-

That would certainly increase reliability. But I wonder
if such a model would be appropriate for primary storage and video. Some sort of DMA access would still be needed
for these devices to function at acceptable speed.


23 posted on 10/04/2010 10:51:59 AM PDT by rahbert
[ Post Reply | Private Reply | To 22 | View Replies ]


To: rahbert
That would certainly increase reliability. But I wonder if such a model would be appropriate for primary storage and video. Some sort of DMA access would still be needed for these devices to function at acceptable speed.

It's happening all the time, and monolithic/hybrid kernels have to timeslice that anyway. Integrity and QNX are examples in use today in the commercial market. They are also the only kind of operating systems that may be rated EAL7 one day. Windows will never get higher than its current EAL4, and neither will most operating systems, but Integrity is at EAL6+. The seL4 microkernel has even formally verified, and the only operating systems to be evaluated at EAL7 are microkernel-based (it's pretty much impossible for a monolithic kernel to get EAL7).

25 posted on 10/04/2010 11:20:45 AM PDT by antiRepublicrat
[ Post Reply | Private Reply | To 23 | View Replies ]

Free Republic
Browse · Search
General/Chat
Topics · Post Article


FreeRepublic, LLC, PO BOX 9771, FRESNO, CA 93794
FreeRepublic.com is powered by software copyright 2000-2008 John Robinson