Date: Sun, 16 Mar 2008 11:42:57 +0200 From: Jordan Gordeev <jgordeev@dir.bg> To: "Andrey V. Elsukov" <bu7cher@yandex.ru> Cc: freebsd-hackers@freebsd.org Subject: Re: vkernel & GSoC, some questions Message-ID: <47DCEBA1.8040503@dir.bg> In-Reply-To: <160451205650165@webmail50.yandex.ru> References: <47DBC800.8030601@dir.bg> 9060000000184602561 <160451205650165@webmail50.yandex.ru>
next in thread | previous in thread | raw e-mail | index | archive | help
Andrey V. Elsukov wrote: >16.03.08, 09:30, "David O'Brien" <obrien@freebsd.org>: > > >>> Add virtual kernel (vkernel) support to FreeBSD for the i386 and amd64 >>>architectures. >>> >>>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: >http://leaf.dragonflybsd.org/mailarchive/users/2007-01/msg00237.html >http://www.dragonflybsd.org/docs/articles/vkernel/vkernel.shtml > > > The two links that Andrey posted are very good. I just want to add a short summary: 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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?47DCEBA1.8040503>