[Barrelfish-users] running linux on barrelfish
speter at inf.ethz.ch
Sat Mar 30 22:37:18 CET 2013
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:
> 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.
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
More information about the Barrelfish-users