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

diff --git a/linux_usr/v3_create.c b/linux_usr/v3_create.c
index 4bc5ab5..3605702 100644
--- a/linux_usr/v3_create.c
+++ b/linux_usr/v3_create.c
@@ -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);