X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_create.c;h=36057022bee8e93d0a17e8c03c993cac3dfa8229;hb=d597d493eb303496f3bb32e2a73a094a8a20a022;hp=26efeb108d12fb555a03a88d546736a5204a7137;hpb=7d2c818e3766b91ab6726f4c31e049a561cf3b9f;p=palacios.git

diff --git a/linux_usr/v3_create.c b/linux_usr/v3_create.c
index 26efeb1..3605702 100644
--- a/linux_usr/v3_create.c
+++ b/linux_usr/v3_create.c
@@ -29,7 +29,7 @@ int main(int argc, char* argv[]) {
     memset(&guest_img, 0, sizeof(struct v3_guest_img));
 
     if (argc <= 2) {
-	printf("Usage: ./v3_ctrl <guest_img> <vm name>\n");
+	printf("usage: v3_create <guest_img> <vm name>\n");
 	return -1;
     }
 
@@ -52,6 +52,10 @@ int main(int argc, char* argv[]) {
     
     // load guest image into user memory
     guest_img.guest_data = malloc(guest_img.size);
+    if (!guest_img.guest_data) {
+            printf("ERROR: could not allocate memory for guest image\n");
+            return -1;
+    }
 
     read_file(guest_fd, guest_img.size, guest_img.guest_data);