hvmm for trusty over precise