[Barrelfish-users] running linux on barrelfish

[Simon Peter]

Hi Joe,

Actually, we're already doing something similar. We're running Linux in 
a virtual machine and use device passthrough to leverage Linux device 
drivers. We can do this for network devices right now. I'm not sure if 
all of that code has been merged yet, but it's there.

Cheers,
Simon

On 03/29/2013 10:22 AM, joe M wrote:
> Hello,
>
> I am wondering if there are any plans to run linux on Barrelfish,
> similar to http://os.inf.tu-dresden.de/L4/LinuxOnL4/index.shtml.
>
> It will probably be easier to leverage linuxs' device drivers, etc.,
> by doing so.
>
> Thanks
> Joe
>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users