Running on HVM

[Andrew Stuart]

Is it possible to run a rump kernel on HVM?

I’ve been poking around but can’t see the path to do so.

thanks

as