diff --git a/pycheribuild/projects/run_qemu.py b/pycheribuild/projects/run_qemu.py
index dbbfe60b7..a08c43f11 100644
--- a/pycheribuild/projects/run_qemu.py
+++ b/pycheribuild/projects/run_qemu.py
@@ -709,7 +709,7 @@ def setup_config_options(cls, **kwargs):
             "kernel-abi",
             show_help=True,
             kind=KernelABI,
-            enum_choices=[KernelABI.HYBRID, KernelABI.PURECAP],
+            enum_choices=[KernelABI.HYBRID, KernelABI.PURECAP, KernelABI.PURECAP_BENCHMARK],
             help="Select extra kernel variant with the given ABI to run.",
         )