X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_core_move.c;h=eb3589614d7059641b3534e6741cea07ad3b50fb;hb=82d082daad3fe8afad4be97d97093a3dfb768e1f;hp=80e88476daf754325bef1803155e76d744815592;hpb=035ac752dc4e0eda744205896a9c7c92689bea42;p=palacios.git

diff --git a/linux_usr/v3_core_move.c b/linux_usr/v3_core_move.c
index 80e8847..eb35896 100644
--- a/linux_usr/v3_core_move.c
+++ b/linux_usr/v3_core_move.c
@@ -30,7 +30,7 @@ int main(int argc, char* argv[]) {
     cmd.vcore_id = atoi(argv[2]);
     cmd.pcore_id = atoi(argv[3]);
 
-    printf("Migrate vcore %d to physical CPU %d\n", cmd.vcore_id, cmd.pcore_id);
+    printf("Migrateing vcore %d to physical CPU %d\n", cmd.vcore_id, cmd.pcore_id);
 
     vm_fd = open(vm_dev, O_RDONLY);