No description
b293e689a9
. Also allow receive() to be done from kernel processes, not just sendrec(). This is because receive()s can't harm the kernel processes, but are done from the CLOCK task (without sendrec()). |
||
---|---|---|
boot | ||
commands | ||
drivers | ||
etc | ||
include | ||
kernel | ||
lib | ||
man | ||
servers | ||
test | ||
tools | ||
LICENSE | ||
Makefile |