run: Support purecap-benchmark for kernel-abi option

CTSRD-CHERI · May 29, 2024 · 4415e59 · 4415e59
1 parent 7799827
commit 4415e59
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.",
         )