Hi Marc, On 20/06/2023 15:47, Marc Poulhiès wrote: > Hi, > > >> The package Interfaces.CHERI provides intrinsic bindings and > >> helper functions to allow software to query, create, and > >> manipulate CHERI capabilities. > > > > I'm curious what the motivation for these intrinsic wrappers is, given that > > GCC trunk doesn't currently support them. Out of interest, can you share > > what > > the use case for these is? > > We share the same Ada frontend with different GCC compilers and > contribute it in GCC's master branch. > > You're correct that this particular change is not useful (yet) with > master, but we are testing/using it with a CHERI-aware GCC.
Interesting, I was only curious because we (Arm) are maintaining a branch with CHERI and Morello support in the ARM/morello vendor branch: https://gcc.gnu.org/git/?p=gcc.git;a=shortlog;h=refs/vendors/ARM/heads/morello is this a different CHERI GCC port that you're referring to? Thanks, Alex > > Does that answer your question? > > Marc
