What is the fastest type of kernel?
Posted: Sun Dec 16, 2001 12:00 am
What is the fastest type of kernel to implement for a OS. I have heard something of a exokernel. Is this the new way of kernel construction?
>On 2001-12-16 16:57:19, Andrew wrote:
>What is the fastest type of kernel to implement for a OS. I have heard something of a exokernel. Is this the new way of kernel construction?
Actually, it might be a little bit quicker just to make things monolithic.. You don't have to deal with modules and the like..
If you want a good look at an exokernel operating system, MIT is the place to go. They have something called Exopc? that I downloaded awhile back.
Its based of the Flux toolkit from the University of Utah, and creates an exokernel by way of one kernel which loads others that handle different kernel functions.
That is what most people call an exokernel, basically multiple kernels in one. I am not sure if its faster to implement though.