Hi guys,<div>Thanks for your work creating such an excellent multikernel operating system.</div><div>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?</div>
<div><br></div><div>Regards,</div><div>Dowen<br><div><br></div></div>