From 21c47d0452f7ac86ef67526f052a174d21f0523a Mon Sep 17 00:00:00 2001
From: Brooks Davis <brooks@one-eyed-alien.net>
Date: Tue, 15 Oct 2024 18:05:35 +0100
Subject: [PATCH] Add kern.features.cheri_purecap_kernel

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).
---
 sys/cheri/cheri_sysctl.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 <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