On Wed, Dec 5, 2018 at 7:08 PM Christian Brauner [off-list ref] wrote:
As a sidenote I'm switching the name from procfd_send_signal() to
taskfd_send_signal(). It seems to me the best way to handle Eric's
request to reflect that we can eventually both signal tgids and tids.
Cool; sounds fine to me.
--
Kees Cook