[Barrelfish-users] running vmkitmon in Barrelfish

[Kornilios Kourtis]

Hi,

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.

cheers,
Kornilios.

-- 
Kornilios Kourtis