Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


added exit reporting to thread exit path
Jack Lange [Tue, 1 Nov 2011 23:45:16 +0000 (19:45 -0400)]
linux_module/palacios-stubs.c

index c5b0ca0..12b4e45 100644 (file)
@@ -158,6 +158,7 @@ palacios_xcall(
 struct lnx_thread_arg {
     int (*fn)(void * arg);
     void * arg;
+    char * name;
 };
 
 static int lnx_thread_target(void * arg) {
@@ -176,6 +177,9 @@ static int lnx_thread_target(void * arg) {
     kfree(thread_info);
     // handle cleanup 
 
+    
+    printk("Palacios Thread (%s) EXITTING\n", thread_info->name);
+
     do_exit(ret);
     
     return 0; // should not get here.
@@ -194,6 +198,7 @@ palacios_start_kernel_thread(
 
     thread_info->fn = fn;
     thread_info->arg = arg;
+    thread_info->name = thread_name;
 
     return kthread_run( lnx_thread_target, thread_info, thread_name );
 }
@@ -212,6 +217,7 @@ palacios_start_thread_on_cpu(int cpu_id,
 
     thread_info->fn = fn;
     thread_info->arg = arg;
+    thread_info->name = thread_name;
 
 
     thread = kthread_create( lnx_thread_target, thread_info, thread_name );