Future Work: Kernel

• correct process-pending signal set

• less biglock, less/distributed sched lock

• ptrace support issues

• UVM api for mapping < uvmspace, addr > to < is-sharable?, ident > for implementing process-shared mutexes, condvars, etc

• MD-bits for arm and alpha for TLS

• eventually: for robust mutexes and priority-inheritence would need type-aware mutex and condvar syscalls

• "fix bugs"