[Barrelfish-users] question about VMkit

[=?GB2312?B?zsSzyb2o?=]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20091117/32ab55e5/attachment.html