Update src/features/kernel.md

Co-authored-by: Jessica Clarke <[email protected]>
CTSRD-CHERI · Jul 20, 2024 · d2480ae · d2480ae
1 parent 8ec6e8c
commit d2480ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/features/kernel.md b/src/features/kernel.md
@@ -1,6 +1,6 @@
 # Kernel compilation modes
 
-The CheriBSD kernel can be compiled either as hybrid, pure-capability,
+The CheriBSD kernel can be compiled as hybrid, pure-capability,
 or benchmark code:
 
 - The **hybrid kernel** enables capability use in userspace while making