diff --git a/sys/arm64/vmm/vmm_arm64.c b/sys/arm64/vmm/vmm_arm64.c
--- a/sys/arm64/vmm/vmm_arm64.c
+++ b/sys/arm64/vmm/vmm_arm64.c
@@ -246,12 +246,6 @@
 		return (ENXIO);
 	}
 
-	/* TODO: Support VHE */
-	if (in_vhe()) {
-		printf("vmm: VHE is unsupported\n");
-		return (ENXIO);
-	}
-
 	if (!vgic_present()) {
 		printf("vmm: No vgic found\n");
 		return (ENODEV);