Skip to content

Commit

Permalink
Improve CHERI kernel ABI feature sysctls
Browse files Browse the repository at this point in the history
subobject_bounds -> cheri_subobject_bounds_kernel
benchmark_abi_kernel -> morello_purecap_benchmark_abi_kernel

Make it clear that these are kernel things and that subobject bounds is
realted to CHERI.
  • Loading branch information
brooksdavis committed Dec 4, 2024
1 parent 981c54d commit 0203c36
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions sys/cheri/cheri_sysctl.c
Original file line number Diff line number Diff line change
Expand Up @@ -39,10 +39,11 @@
#ifdef __CHERI_PURE_CAPABILITY__
FEATURE(cheri_purecap_kernel, "CHERI pure-capability kernel");
#ifdef __CHERI_SUBOBJECT_BOUNDS__
FEATURE(subobject_bounds, "CheriABI kernel with sub-object bounds");
FEATURE(cheri_subobject_bounds_kernel,
"CHERI pure-capability kernel with sub-object bounds");
#endif
#ifdef __ARM_MORELLO_PURECAP_BENCHMARK_ABI
FEATURE(benchmark_abi_kernel, "Morello benchmark ABI kernel");
FEATURE(morello_purecap_benchmark_abi_kernel, "Morello benchmark ABI kernel");
#endif
#endif /* __CHERI_PURE_CAPABILITY__ */

Check warning on line 49 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 0203c36

Please sign in to comment.