Hi Alex,
> 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? No, we have used your morello branch as the starting point for our port which consists in having the latest Ada frontend/runtime work there. Marc
