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

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;
 		    }