. 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()).
24 KiB
Executable File
24 KiB
Executable File