Skip to content

Commit

Permalink
Add kern.features.cheri_purecap_kernel
Browse files Browse the repository at this point in the history
Rename misleading kern.features.cheriabi_kernel to
kern.features.cheri_purecap_kernel and make clear that it's a
pure-capaiblity kernel (not CheriABI which refers to userspace).
  • Loading branch information
brooksdavis committed Oct 15, 2024
1 parent 81af918 commit 21c47d0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion sys/cheri/cheri_sysctl.c
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@
#include <cheri/cheri.h>

#ifdef __CHERI_PURE_CAPABILITY__
FEATURE(cheriabi_kernel, "CheriABI kernel");
FEATURE(cheri_purecap_kernel, "pure-capability kernel");
#ifdef __CHERI_SUBOBJECT_BOUNDS__
FEATURE(subobject_bounds, "CheriABI kernel with sub-object bounds");
#endif

Check warning on line 43 in sys/cheri/cheri_sysctl.c

View workflow job for this annotation

GitHub Actions / Style Checker

Missing Signed-off-by: line
Expand Down

0 comments on commit 21c47d0

Please sign in to comment.