47693a4792
I'm also quite sure nobody ever really wanted to use it. Change the "raise" sigmodel to include the rump kernel PID in the call to rumpuser_kill(). The purpose is to provide some hint for non-POSIX platforms which don't sport signals and multiplex many clients in a single address space. While this is technically an ABI change, see above. Also, since rumpuser_kill() was not documented, I'll just claim I'm fixing a bug in the implementation (and will be sure to document the interface correctly very soon). |
||
---|---|---|
.. | ||
machine | ||
rump | ||
sys | ||
Makefile |