On Wed, Dec 5, 2018 at 7:08 PM Christian Brauner <christ...@brauner.io> 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
