- forkProcess fix: add a forgotten rts_unlock()
- add a couple more ASSERTs
if (pid) { // parent
// just return the pid
+ rts_unlock(cap);
return pid;
} else { // child
cap = schedule(cap,task);
ASSERT(task->stat != NoStatus);
+ ASSERT(cap->running_task == task);
+ ASSERT(task->cap == cap);
IF_DEBUG(scheduler, sched_belch("bound thread (%d) finished", task->tso->id));
return cap;