Process management via active messages
[akaros.git] / kern / src / manager.c
index d7aca05..8df76cc 100644 (file)
@@ -44,6 +44,7 @@ for (int i = 0; i < 5; i++)
        p->vcoremap[i] = i + 1; // vcore0 -> pcore1, etc, for 3 cores
 spin_unlock_irqsave(&p->proc_lock);
 proc_run(p);
+udelay(5000000);
 printk("Killing p\n");
 proc_destroy(p);
 printk("Killed p\n");