From e68f51be37c1db6015e1aa19dbccc5c18d0577cc Mon Sep 17 00:00:00 2001 From: Brooks Davis Date: Wed, 7 Feb 2024 18:45:38 +0000 Subject: [PATCH] Default to purecap kernels for CheriBSD --- pycheribuild/projects/cross/cheribsd.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pycheribuild/projects/cross/cheribsd.py b/pycheribuild/projects/cross/cheribsd.py index f3087cc05..2167a61d3 100644 --- a/pycheribuild/projects/cross/cheribsd.py +++ b/pycheribuild/projects/cross/cheribsd.py @@ -1611,7 +1611,7 @@ def setup_config_options(cls, kernel_only_target=False, install_directory_help=N cls.default_kernel_abi = cls.add_config_option( "default-kernel-abi", show_help=True, _allow_unknown_targets=True, only_add_for_targets=cls.purecap_kernel_targets, - kind=KernelABI, default=KernelABI.HYBRID, + kind=KernelABI, default=KernelABI.PURECAP, enum_choices=[KernelABI.HYBRID, KernelABI.PURECAP], help="Select default kernel to build")