[Barrelfish-users] running linux on barrelfish

Simon Peter speter at inf.ethz.ch
Sat Mar 30 22:37:18 CET 2013

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.


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

More information about the Barrelfish-users mailing list