Page MenuHomeFreeBSD

mman: Reserve two PROT_ for CHERI use
ClosedPublic

Authored by brooks on May 30 2025, 10:36 PM.
Tags
None
Referenced Files
F153127356: D50621.id156602.diff
Sun, Apr 19, 8:39 AM
F153082364: D50621.id156602.diff
Sun, Apr 19, 12:33 AM
F153040278: D50621.id156330.diff
Sat, Apr 18, 7:18 PM
F152992069: D50621.id156330.diff
Sat, Apr 18, 12:37 PM
Unknown Object (File)
Fri, Apr 17, 9:39 PM
Unknown Object (File)
Fri, Apr 17, 6:41 PM
Unknown Object (File)
Fri, Apr 17, 5:16 PM
Unknown Object (File)
Thu, Apr 16, 8:48 PM
Subscribers

Details

Summary

In CheriBSD we use two bits to control load and store of CHERI
capabilities (pointers). In anticipation of merging CHERI support in
time for FreeBSD 16, reserved these two bits to avoid the (low, but
non-zero) risk of a flag day downstream.

I've used PROT_CHERI0 and PROT_CHERI1 rather than their downstream name
in hopes of avoiding the impression they do something today.

Suggested by: adrian, kevans
Sponsored by: DARPA, AFRL

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable