[linux-morello] Re: [RFC PATCH 0/9] New CHERI API and rehauled user_ptr.h

On 28/09/2022 16:31, Kevin Brodsky wrote:

Hi,

I am posting this series now to gather some opinions (notably in terms of naming) before I proceed further.

FWIW I had a look and the naming of the new helpers seems sensible to me.

Thanks, Kristina