kernel - fix vkernel64 startup when no hw virtualization present
authorMihai Carabas <mihai.carabas@gmail.com>
Mon, 23 Sep 2013 14:14:53 +0000 (17:14 +0300)
committerMihai Carabas <mihai.carabas@gmail.com>
Mon, 23 Sep 2013 14:14:53 +0000 (17:14 +0300)
sys/platform/pc64/vmm/vmm.c

index b9044a0..74e6fc5 100644 (file)
@@ -109,10 +109,10 @@ vmm_init(void)
        }
 
        if (ctl->init()) {
-               SYSCTL_ADD_STRING(&vmm_sysctl_ctx,
+               SYSCTL_ADD_INT(&vmm_sysctl_ctx,
                    SYSCTL_CHILDREN(vmm_sysctl_tree),
                    OID_AUTO, "enable", CTLFLAG_RD,
-                   "NOT SUPPORTED", 0,
+                   &vmm_enabled, 0,
                    "enable not supported");
        } else {
                SYSCTL_ADD_STRING(&vmm_sysctl_ctx,