vkernel & GSoC, some questions
jgordeev at dir.bg
Sun Mar 16 09:42:24 UTC 2008
Andrey V. Elsukov wrote:
>16.03.08, 09:30, "David O'Brien" <obrien at freebsd.org>:
>>> Add virtual kernel (vkernel) support to FreeBSD for the i386 and amd64
>>>The vkernel support in question is the one found in DragonFlyBSD.
>>Not being up on DragonFlyBSD, can you better describe what "vkernel" is?
>vkernel is similar to User Mode Linux technology. You can boot vkernel as a
>user mode process. I think it will be good to have similar in FreeBSD.
>There are several links:
The two links that Andrey posted are very good. I just want to add a
A vkernel is a kernel running as a user process under a real kernel. The
vkernel runs in the CPU's priviledge ring 3. It services its child
processes like a normal kernel, but whenever a page table needs to be
modified, context switched, or some other privileged operation needs to
be executed, the vkernel asks the real kernel through a syscall interface.
More information about the freebsd-hackers