Re: Explicit pointer provenance APIs for CHERI

"Poul-Henning Kamp" <[email protected]> Wed, 24 Jun 2026 10:54:51 +0000
Newsgroups gmane.os.freebsd.architechture
Message-ID <[email protected]>
--------
Brooks Davis writes:

> On Mon, Jun 22, 2026 at 10:11:36AM -0700, Adrian Chadd wrote:

> > Specifically, I'd like a manpage which defines something top level for=
 these
> > terms and link to that manpage from manpages that talk about pointer
> > provenance and anything else that leads into CHERI related stuff.
>
> Lacking an obviously better place I've added a section to arch(7) and
> linked it from the various manpages.  https://reviews.freebsd.org/D57812

Not bad, but I dont think there's any way around having a proper CHERI(7)
manual page too ?

It doesn't have to be long, but it has to be there.

-- =

Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
[email protected]         | TCP/IP since RFC 956
FreeBSD committer       | BSD since 4.3-tahoe    =

Never attribute to malice what can adequately be explained by incompetence=
.