[Barrelfish-users] question about VMkit

=?GB2312?B?zsSzyb2o?= wenchengjian at gmail.com
Tue Nov 17 07:25:31 MET 2009

Hi guys,
Thanks for your work creating such an excellent multikernel operating
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?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20091117/32ab55e5/attachment.html

More information about the Barrelfish-users mailing list