diff --git a/sys/cheri/cheri_sysctl.c b/sys/cheri/cheri_sysctl.c index 66dd6df95b6a..b6ed6bb26e76 100644 --- a/sys/cheri/cheri_sysctl.c +++ b/sys/cheri/cheri_sysctl.c @@ -37,12 +37,13 @@ #include #ifdef __CHERI_PURE_CAPABILITY__ -FEATURE(cheriabi_kernel, "CheriABI kernel"); +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__ */