Re: [seL4] Request for enhancement: Notification queues

On 22 Jan 2020, at 14:44, Demi Obenour mailto:demiobenour@gmail.com> wrote: But everything needs a really convincing argument, that’s based on a functional limitation that prevents implementation of certain important classes of systems. If it’s only a performance argument, we’ll need to be convinced that it really is a performance bottleneck in realistic systems. Do you believe it is likely to be? I haven’t seen a convincing use case where it is. Gernot