What is the fastest type of kernel?
-
Andrew
What is the fastest type of kernel?
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?
-
Guest
RE:What is the fastest type of kernel?
>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.
>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.