[Barrelfish-users] running linux on barrelfish

Timothy Roscoe troscoe at inf.ethz.ch
Sat Mar 30 20:22:48 CET 2013

Hi Joe, 

We already run Linux in a virtual machine above Barrelfish (with the
right hardware support), and even have some device pass-through
capabilities (we can re-export a network device, for example).
However, it's fairly rudimentary at present and (so far) is not a key
research direction for us. 

On the other hand, if you want to try to make it work with more
hardware than we support right now, we're happy to help with advice
and information... 

Best regards,

 -- Mothy

At Fri, 29 Mar 2013 13:22:39 -0400, joe M <joe9mail at gmail.com> 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