[Barrelfish-users] running vmkitmon in Barrelfish

Kornilios Kourtis kornilios.kourtis at inf.ethz.ch
Wed Jun 26 10:55:30 CEST 2013


On Mon, Jun 24, 2013 at 01:29:46AM +0000, zhanqing Zhan(Qing) wrote:
> 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.

Currently, we do not provide Linux/grub images to use with vmkit. It
should, however, be possible to use arbitrary images.


Kornilios Kourtis

More information about the Barrelfish-users mailing list