[Barrelfish-users] running vmkitmon in Barrelfish

[zhanqing Zhan(Qing)]

Hi all,
         I saw your paper about vmkitmon running Linux with drivers.I want to try vmkitmon, But I don't find any Linux and grub image in Barrelfish packet.
Could you give me a copy of them? Thanks very much.
Best Regards
Qing Zhan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20130624/3f203863/attachment.html