[Barrelfish-users] running linux on barrelfish
troscoe at inf.ethz.ch
Sat Mar 30 20:22:48 CET 2013
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
At Fri, 29 Mar 2013 13:22:39 -0400, joe M <joe9mail at gmail.com> 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