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