diff --git a/sys/cheri/cheri_sysctl.c b/sys/cheri/cheri_sysctl.c index 66dd6df95b6a..3c70771fc2f0 100644 --- a/sys/cheri/cheri_sysctl.c +++ b/sys/cheri/cheri_sysctl.c @@ -37,7 +37,7 @@ #include #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