[Barrelfish] [Barrelfish-users] question about VMkit

Timothy Roscoe troscoe at inf.ethz.ch
Tue Nov 17 09:41:17 MET 2009

Dear Dowen,

VMkit is active, and is integrated into Barrelfish, but this happened 
after our initial source release. That release was primarily to support 
our performance figures in the SOSP paper; we are planning a more 
complete source code release by the end of this year, and that will 
include VMkit.

Best regards,

  -- Mothy

文成建 wrote:
> Hi guys,
> Thanks for your work creating such an excellent multikernel operating 
> system.
> I have read the Master Thesis "VMkit-A lightweight hypervisor libarary 
> for Barrelfish" by Raffaele Sandrini.However I can't find out the 
> related source code in the source code tree of Barrelfish.So I wonder 
> weather the development of VMkit is still active and when it'll be released?
> Regards,
> Dowen
> ------------------------------------------------------------------------
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
> ------------------------------------------------------------------------
> _______________________________________________
> Barrelfish mailing list
> Barrelfish at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish

More information about the Barrelfish-users mailing list