X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=linux_module%2Fmm.c;h=8eb8fc91e9f617ec60f821d4645f8a5b2ca2f21b;hp=e4c374a9a4030a49d190d37b8ce3d8134944f44b;hb=a5d2c00cc461b4a60a1360a2a0bba55cef467bab;hpb=3e937e5468169b8183a22a90f6d07ff370abde0c

diff --git a/linux_module/mm.c b/linux_module/mm.c
index e4c374a..8eb8fc9 100644
--- a/linux_module/mm.c
+++ b/linux_module/mm.c
@@ -305,7 +305,6 @@ int palacios_init_mm( void ) {
 		    INFO("Could not allocate initial memory block for node %d below 4GB\n", node_id);
 		    if (!pgs) {
 			ERROR("Could not allocate initial memory block for node %d without restrictions\n", node_id);
-			BUG_ON(!pgs);
 			palacios_deinit_mm();
 			return -1;
 		    }