Index: usr.sbin/bhyve/bhyverun.c
===================================================================
--- usr.sbin/bhyve/bhyverun.c
+++ usr.sbin/bhyve/bhyverun.c
@@ -258,7 +258,10 @@
 	 * with vm_suspend().
 	 */
 	error = vm_activate_cpu(ctx, newcpu);
-	assert(error == 0);
+	if (error) {
+		fprintf(stderr, "Attempting to activate a new vcpu failed\n");
+		exit(1);
+	}
 
 	CPU_SET_ATOMIC(newcpu, &cpumask);