genodelabs / genode

Genode OS Framework
https://genode.org/
Other
1.03k stars 249 forks source link

hw: simplify translation of user to kernel signalling API #5194

Open skalk opened 3 weeks ago

skalk commented 3 weeks ago

Currently, the implementation of Kernel::awaits_signal() and Kernel::pending_signal() share a lot of code, and the implementation in userland of Signal_receiver::block_for_signal() and Signal_receiver::pending_signal() are hard to follow. If Kernel::awaits_signal() would block only, while Kernel::pending_signal() would return a context with its number of signals, both APIs would match much better.