On Mon, Dec 6, 2021 at 10:00 PM Mathias Krause <minipli at grsecurity.net> wrote: > Yes, probably, but you're mixing up the two. Oh, thanks, right. I'll talk to EverCrypt upstream and see. Jason