Adding Virtual kernel support to FreeBSD

[Mehul Chadha]

A lot of effort to have a virtual kernel running on top of a real kernel.

We will be dividing the project in a number of phases.

 We would be first concentrating on running the processes on virtual kernel
(We are working for the algorithms), filesystems interface , next the libc
interface that is the functions like printk in virtual kernel need to be
mapped to printf of real kernel. Once we are through with this then we will
start working with networks through the tun/tap interface . Any Thoughts??

On Fri, Sep 12, 2008 at 10:33 AM, Alfred Perlstein <alfred at freebsd.org>wrote:

> * Julian Elischer <julian at elischer.org> [080911 11:18] wrote:
> > Mehul Chadha wrote:
> > >hello all,
> > >                 We are a group of 3 students doing their graduation in
> > >computer science. We were thinking of implementing the virtual kernel
> > >support to freeBSD similar to what user mode linux does . We would be
> very
> > >thankful if we can have some suggestions and advice from your side.
> >
> > dragonflyBSD which is derived from freeBSD has this.
>
> Really??? :)
>
> What kind of porting effort would it take?
>
> -Alfred
>