Skip to content

Commit

Permalink
Default to purecap kernels for CheriBSD
Browse files Browse the repository at this point in the history
  • Loading branch information
brooksdavis committed Feb 7, 2024
1 parent 905f369 commit e68f51b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pycheribuild/projects/cross/cheribsd.py
Original file line number Diff line number Diff line change
Expand Up @@ -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")

Expand Down

0 comments on commit e68f51b

Please sign in to comment.