stacktrace feature.

diff --git a/kernel/system/do_vmctl.c b/kernel/system/do_vmctl.c
index 8517c57d79a9a73bae63f288dc95f3b2429fb36d..bceeed639b128a7a7cc4b81a55f6914d511b701b 100644 (file)
--- a/kernel/system/do_vmctl.c
+++ b/kernel/system/do_vmctl.c
@@ -26,11 +26,6 @@ register message *m_ptr;     /* pointer to request message */
 
   vm_init();
 
-  if(m_ptr->m_source != VM_PROC_NR) {
-       kprintf("do_vmctl: source %d, not VM\n", m_ptr->m_source);
-       return ENOSYS;
-  }
-
   if(!isokendpt(ep, &proc_nr)) {
        kprintf("do_vmctl: unexpected endpoint %d from VM\n", ep);
        return EINVAL;
@@ -97,6 +92,10 @@ kprintf("SYSTEM: request %d:0x%lx-0x%lx, wrflag %d, failed\n",
                }
 #endif
                return OK;
+       case VMCTL_STACKTRACE:
+               kprintf("vmctl stacktrace ");
+               proc_stacktrace(p);
+               return OK;
   }
 
   /* Try architecture-specific vmctls. */