X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fmptable.c;h=2eb0206547954663465657bebef7d2aef1c73aa7;hb=ea65d1874b27fd5d8ef5b560c1f4b6eb8c57b40b;hp=c4cdc42b5782066aa1fe8417bd5e2eb86524a6f3;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.git

diff --git a/palacios/src/devices/mptable.c b/palacios/src/devices/mptable.c
index c4cdc42..2eb0206 100644
--- a/palacios/src/devices/mptable.c
+++ b/palacios/src/devices/mptable.c
@@ -538,8 +538,9 @@ static int mptable_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
     }
     
     if (!check_for_cookie(target)) { 
-	PrintError(vm, VCORE_NONE, "Cookie mismatch in writing mptable, aborting (probably wrong guest BIOS).\n");
-	return -1;
+	PrintError(vm, VCORE_NONE, "Cookie mismatch in writing mptable, aborting (probably just wrong guest BIOS, so this is not a hard error).\n");
+	// we pretend we were sucesssful
+	return 0;
     }
 
     if (vm->num_cores > 32) {