From 4415e5967cf18c432f3daedf289fa0117db1d359 Mon Sep 17 00:00:00 2001 From: Jessica Clarke Date: Wed, 29 May 2024 05:24:42 +0100 Subject: [PATCH] run: Support purecap-benchmark for kernel-abi option --- pycheribuild/projects/run_qemu.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.", )