Re: Explicit pointer provenance APIs for CHERI

Jessica Clarke <[email protected]> Wed, 24 Jun 2026 17:45:00 +0100
Newsgroups gmane.os.freebsd.architechture
Message-ID <[email protected]>
On 24 Jun 2026, at 17:34, Poul-Henning Kamp <[email protected]> wrote:
>=20
> --------
> Alexander Ziaee writes:
>=20
>> Can we massage it into memory(7)? I think that'd be the most obvious =
place.
>> The draft is very focused on just memory statistics, but I think it =
wouldn't hurt
>> it to tweak that a little bit.
>>=20
>> https://reviews.freebsd.org/D18768
>=20
> As long as there is a cheri(7) manualpage to get people started=E2=80=A6=


Why? It=E2=80=99s not FreeBSD=E2=80=99s job to tell you everything about =
CHERI, only to
document FreeBSD=E2=80=99s APIs and reference external documentation as
appropriate. It=E2=80=99s not like we have an mmu(7) to teach you about =
how
virtual addressing works, for example.

Jessica