b465884f42
Ensure that process descriptors work as expected. We should be able to: - pdfork(), like regular fork(), but producing a process descriptor - pdgetpid() to convert a PD into a PID - pdkill() to send signals to a process identified by a PD Approved by: re (kib), mentor (rwatson) Sponsored by: Google Inc |
||
---|---|---|
.. | ||
access | ||
cap_test | ||
open_to_operation | ||
proc_to_proc |